Advertisement
Guest User

config

a guest
Nov 26th, 2021
202
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.73 KB | None | 0 0
  1. ;; This is an operating system configuration generated
  2. ;; by the graphical installer.
  3.  
  4. (use-modules (gnu))
  5. (use-service-modules
  6. desktop
  7. networking
  8. pm
  9. ssh
  10. xorg)
  11.  
  12. (operating-system
  13. (locale "en_US.utf8")
  14. (timezone "America/Los_Angeles")
  15. (keyboard-layout (keyboard-layout "us"))
  16. (host-name "lilly")
  17. (users (cons* (user-account
  18. (name "rose")
  19. (comment "Rose")
  20. (group "users")
  21. (home-directory "/home/rose")
  22. (supplementary-groups
  23. '("wheel" "netdev" "audio" "video")))
  24. %base-user-accounts))
  25. (packages
  26. (append
  27. (list (specification->package "nss-certs"))
  28. %base-packages))
  29. (services
  30. (append
  31. (list (service xfce-desktop-service-type)
  32. (set-xorg-configuration
  33. (xorg-configuration
  34. (keyboard-layout keyboard-layout)))
  35. (service tlp-service-type))
  36. (modify-services %desktop-services
  37. (elogind-service-type config =>
  38. (elogind-configuration
  39. (inherit config)
  40. (handle-lid-switch-external-power 'suspend))))))
  41. (bootloader
  42. (bootloader-configuration
  43. (bootloader
  44. (bootloader
  45. (inherit grub-bootloader)
  46. (installer #~(const #t))))
  47. (keyboard-layout keyboard-layout)))
  48. (swap-devices
  49. (list (swap-space
  50. (target (uuid "cbd91e9a-4a40-4e15-b897-db559b942237"))
  51. (discard? #t))))
  52. (file-systems
  53. (cons* (file-system
  54. (mount-point "/")
  55. (device
  56. (uuid "d6bdb496-620f-4e91-ae86-cfd6881a8d2f"
  57. 'ext4))
  58. (type "ext4"))
  59. %base-file-systems)))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement