Guest User

config sccm

a guest
Jun 7th, 2020
10
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. ;; This is an operating system configuration template
  2. ;; for a "desktop" setup with GNOME and Xfce where the
  3. ;; root partition is encrypted with LUKS.
  4.  
  5. (use-modules (gnu) (gnu system nss))
  6. (use-service-modules desktop xorg)
  7. (use-package-modules certs gnome)
  8.  
  9. (operating-system
  10. (host-name "terra")
  11. (timezone "Europe/Amsterdam")
  12. (locale "nl_NL.utf8")
  13. (firmware (cons* realtek-firmware %base-firmware))
  14. ;; Choose US English keyboard layout. The "altgr-intl"
  15. ;; variant provides dead keys for accented characters.
  16. (keyboard-layout (keyboard-layout "us" "altgr-intl"))
  17.  
  18. ;; Use the UEFI variant of GRUB with the EFI System
  19. ;; Partition mounted on /boot/efi.
  20. (bootloader (bootloader-configuration
  21. (bootloader grub-efi-bootloader)
  22. (target "/boot")
  23. (keyboard-layout keyboard-layout)))
  24.  
  25. ;; Specify a mapped device for the encrypted root partition.
  26. ;; The UUID is that returned by 'cryptsetup luksUUID'.
  27.  
  28. (file-systems (append
  29. (list (file-system
  30. (device (file-system-label "ROOTFS"))
  31. (mount-point "/")
  32. (type "ext4")
  33. (options "noatime"))
  34. ;(dependencies mapped-devices))
  35. (file-system
  36. (device (uuid "AF5A-6BEC" 'fat))
  37. (mount-point "/boot")
  38. (type "vfat")))
  39. %base-file-systems))
  40.  
  41. (users (cons (user-account
  42. (name "martijn")
  43. (comment "Martijn van Zuilen")
  44. (group "users")
  45. (supplementary-groups '("wheel" "netdev"
  46. "audio" "video")))
  47. %base-user-accounts))
  48.  
  49. ;; This is where we specify system-wide packages.
  50. (packages (append (list
  51. ;; for HTTPS access
  52. nss-certs
  53. ;; for user mounts
  54. gvfs)
  55. %base-packages))
  56.  
  57. ;; Add GNOME and Xfce---we can choose at the log-in screen
  58. ;; by clicking the gear. Use the "desktop" services, which
  59. ;; include the X11 log-in service, networking with
  60. ;; NetworkManager, and more.
  61. (services (append (list (service gnome-desktop-service-type)
  62. (service xfce-desktop-service-type)
  63. (set-xorg-configuration
  64. (xorg-configuration
  65. (keyboard-layout keyboard-layout)
  66. (service kernel-module-loader-service-type ("rtl8723de-linux-module")))))
  67. %desktop-services))
  68.  
  69. ;; Allow resolution of '.local' host names with mDNS.
  70. (name-service-switch %mdns-host-lookup-nss))
RAW Paste Data