Advertisement
Guest User

Untitled

a guest
Apr 9th, 2023
57
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.73 KB | None | 0 0
  1. dave@host ~$ cat configuration.scm
  2. ;; This is an operating system configuration generated
  3. ;; by the graphical installer.
  4. ;;
  5. ;; Once installation is complete, you can learn and modify
  6. ;; this file to tweak the system configuration, and pass it
  7. ;; to the 'guix system reconfigure' command to effect your
  8. ;; changes.
  9.  
  10.  
  11. ;; Indicate which modules to import to access the variables
  12. ;; used in this configuration.
  13. (use-modules (gnu))
  14. (use-service-modules cups desktop networking ssh xorg)
  15.  
  16. (operating-system
  17. (locale "en_US.utf8")
  18. (timezone "Europe/Berlin")
  19. (keyboard-layout (keyboard-layout "us" "dvorak"))
  20. (host-name "host")
  21.  
  22. ;; The list of user accounts ('root' is implicit).
  23. (users (cons* (user-account
  24. (name "dave")
  25. (comment "David")
  26. (group "users")
  27. (home-directory "/home/dave")
  28. (supplementary-groups '("wheel" "netdev" "audio" "video")))
  29. %base-user-accounts))
  30.  
  31. ;; Packages installed system-wide. Users can also install packages
  32. ;; under their own account: use 'guix search KEYWORD' to search
  33. ;; for packages and 'guix install PACKAGE' to install a package.
  34. (packages (append (list (specification->package "i3-wm")
  35. (specification->package "i3status")
  36. (specification->package "dmenu")
  37. (specification->package "st")
  38. (specification->package "nss-certs")
  39.  
  40. )
  41. %base-packages))
  42.  
  43. ;; Below is the list of system services. To search for available
  44. ;; services, run 'guix system search KEYWORD' in a terminal.
  45. (services
  46. %desktop-services)
  47. (bootloader (bootloader-configuration
  48. (bootloader grub-efi-bootloader)
  49. (targets (list "/boot/efi"))
  50. (keyboard-layout keyboard-layout)))
  51. (swap-devices (list (swap-space
  52. (target (uuid
  53. "66475178-98b8-4150-8d4c-081975376673")))))
  54.  
  55. ;; The list of file systems that get "mounted". The unique
  56. ;; file system identifiers there ("UUIDs") can be obtained
  57. ;; by running 'blkid' in a terminal.
  58. (file-systems (cons* (file-system
  59. (mount-point "/boot/efi")
  60. (device (uuid "9C59-D9E8"
  61. 'fat32))
  62. (type "vfat"))
  63. (file-system
  64. (mount-point "/")
  65. (device (uuid
  66. "3ea92a00-0f23-49cd-8088-9c39b17f6e9d"
  67. 'ext4))
  68. (type "ext4")) %base-file-systems)))
  69.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement