Advertisement
Guest User

Untitled

a guest
May 5th, 2016
106
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.62 KB | None | 0 0
  1. # cat etc/config.scm
  2. ;; This is an operating system configuration template
  3. ;; for a "desktop" setup with GNOME and Xfce.
  4.  
  5. (use-modules (gnu) (gnu system nss))
  6. (use-service-modules desktop)
  7. (use-package-modules certs)
  8.  
  9. (operating-system
  10. (host-name "ci74771ht")
  11. (timezone "Europe/Rome")
  12. (locale "it_IT.UTF-8")
  13.  
  14. ;; Assuming /dev/sdX is the target hard disk, and "my-root"
  15. ;; is the label of the target root file system.
  16. (bootloader (grub-configuration (device "/dev/sdb")))
  17. (file-systems (cons (file-system
  18. (device "/dev/sdb5")
  19. (title 'label)
  20. (mount-point "/")
  21. (type "ext4"))
  22. %base-file-systems))
  23.  
  24. (users (cons (user-account
  25. (name "sandro")
  26. (comment "Sandro")
  27. (group "users")
  28. (supplementary-groups '("wheel" "netdev"
  29. "audio" "video"))
  30. (home-directory "/home/bob"))
  31. %base-user-accounts))
  32.  
  33. ;; This is where we specify system-wide packages.
  34. (packages (cons* nss-certs ;for HTTPS access
  35. %base-packages))
  36.  
  37. ;; Add GNOME and/or Xfce---we can choose at the log-in
  38. ;; screen with F1. Use the "desktop" services, which
  39. ;; include the X11 log-in service, networking with Wicd,
  40. ;; and more.
  41. (services (cons* (gnome-desktop-service)
  42. (xfce-desktop-service)
  43. %desktop-services))
  44.  
  45. ;; Allow resolution of '.local' host names with mDNS.
  46. (name-service-switch %mdns-host-lookup-nss))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement