Advertisement
Guest User

config.scm

a guest
Aug 27th, 2022
46
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.81 KB | None | 0 0
  1. ;; This is an operating system configuration generated
  2. ;; by the graphical installer.
  3. ;;
  4. ;; Once installation is complete, you can learn and modify
  5. ;; this file to tweak the system configuration, and pass it
  6. ;; to the 'guix system reconfigure' command to effect your
  7. ;; changes.
  8.  
  9.  
  10. ;; Indicate which modules to import to access the variables
  11. ;; used in this configuration.
  12. (use-modules (gnu)
  13. (gnu packages certs))
  14. (use-service-modules cups desktop networking ssh xorg)
  15.  
  16. (operating-system
  17. (locale "en_GB.utf8")
  18. (timezone "Europe/Warsaw")
  19. (keyboard-layout (keyboard-layout "gb" "pl"))
  20. (host-name "guixczop")
  21.  
  22. ;; The list of user accounts ('root' is implicit).
  23. (users (cons* (user-account
  24. (name "luk")
  25. (comment "Luk")
  26. (group "users")
  27. (home-directory "/home/luk")
  28. (supplementary-groups '("wheel" "netdev" "audio" "video")))
  29. %base-user-accounts))
  30. (packages
  31. (append
  32. (list
  33. nss-certs)))
  34. (name-service-switch
  35. %mdns-host-lookup-nss)
  36.  
  37. ;; Below is the list of system services. To search for available
  38. ;; services, run 'guix system search KEYWORD' in a terminal.
  39. (services
  40. (append (list (service gnome-desktop-service-type)
  41. (set-xorg-configuration
  42. (xorg-configuration (keyboard-layout keyboard-layout))))
  43.  
  44. ;; This is the default list of services we
  45. ;; are appending to.
  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. "0184ba34-bcfe-45a1-befe-57ce5e0ed16b")))))
  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 "/home")
  60. (device (uuid
  61. "3b802a8d-a217-48c7-876f-590deab7db95"
  62. 'ext4))
  63. (type "ext4"))
  64. (file-system
  65. (mount-point "/")
  66. (device (uuid
  67. "e5613f14-56d5-48c7-9c73-6f444c5169d3"
  68. 'ext4))
  69. (type "ext4"))
  70. (file-system
  71. (mount-point "/boot/efi")
  72. (device (uuid "9208-9A87"
  73. 'fat32))
  74. (type "vfat")) %base-file-systems)))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement