diff options
Diffstat (limited to 'system-configuration.scm')
| -rw-r--r-- | system-configuration.scm | 142 |
1 files changed, 80 insertions, 62 deletions
diff --git a/system-configuration.scm b/system-configuration.scm index 59a7b48..0f07cb3 100644 --- a/system-configuration.scm +++ b/system-configuration.scm @@ -1,67 +1,85 @@ ;; This is an operating system configuration generated ;; by the graphical installer. -(use-modules - (gnu)) +( use-modules + ( gnu ) ) -(use-service-modules cups desktop networking ssh xorg) +( use-service-modules + cups + desktop + networking + ssh + xorg ) -(operating-system - (kernel - (specification->package "linux-libre@5.10")) - (locale "pl_PL.utf8") - (timezone "Europe/Warsaw") - (keyboard-layout (keyboard-layout "pl")) - (host-name "aisaka") - (users (cons* (user-account - (name "marek") - (comment "Marek Paśnikowski") - (group "users") - (home-directory "/home/marek") - (supplementary-groups - '("wheel" "netdev" "audio" "video"))) - %base-user-accounts)) - (packages - (append - (map - (compose list specification->package+output) - (list "nss-certs" "trezord" "trezord-udev-rules")) - %base-packages)) - (services - (append - (list (service gnome-desktop-service-type) - (service openssh-service-type) - (service tor-service-type) - (service cups-service-type) - (set-xorg-configuration - (xorg-configuration - (keyboard-layout keyboard-layout)))) - %desktop-services)) - (bootloader - (bootloader-configuration - (bootloader grub-bootloader) - (targets (list "/dev/sda")) - (keyboard-layout keyboard-layout))) - (swap-devices - (list (swap-space - (target - (uuid "73bed3f9-be07-40ad-a228-577cd24f2e1d"))))) - (mapped-devices - (list (mapped-device - (source - (uuid "887ac37f-2919-41a0-a62a-e1ff5ea2d6cc")) - (target "aisaka-root") - (type luks-device-mapping)))) - (file-systems - (cons* (file-system - (mount-point "/") - (device "/dev/mapper/aisaka-root") - (type "btrfs") - (dependencies mapped-devices)) - (file-system - (mount-point "/boot") - (device - (uuid "4f77b5fc-56ad-43ae-b6ec-e5adc8c48587" - 'ext4)) - (type "ext4")) - %base-file-systems))) +( operating-system + ( kernel + ( specification->package "linux-libre@5.10" ) ) + ( locale "pl_PL.utf8" ) + ( timezone "Europe/Warsaw" ) + ( keyboard-layout + ( keyboard-layout "pl" ) ) + ( host-name "aisaka" ) + ( users + ( cons* + ( user-account + ( name "marek" ) + ( comment "Marek Paśnikowski" ) + ( group "users" ) + ( home-directory "/home/marek" ) + ( supplementary-groups + '("wheel" + "netdev" + "audio" + "video" ) ) ) + %base-user-accounts ) ) + ( packages + ( append + ( map + ( compose list specification->package+output ) + ( list + "nss-certs" + "trezord" + "trezord-udev-rules" ) ) + %base-packages ) ) + ( services + ( append + ( list + ( service gnome-desktop-service-type ) + ( service openssh-service-type ) + ( service tor-service-type ) + ( service cups-service-type ) + ( set-xorg-configuration + ( xorg-configuration + ( keyboard-layout keyboard-layout ) ) ) ) + %desktop-services ) ) + ( bootloader + ( bootloader-configuration + ( bootloader grub-bootloader ) + ( targets + ( list "/dev/sda" ) ) + ( keyboard-layout keyboard-layout ) ) ) + ( swap-devices + ( list + ( swap-space + ( target + ( uuid "73bed3f9-be07-40ad-a228-577cd24f2e1d" ) ) ) ) ) + ( mapped-devices + ( list + ( mapped-device + ( source + ( uuid "887ac37f-2919-41a0-a62a-e1ff5ea2d6cc" ) ) + ( target "aisaka-root" ) + ( type luks-device-mapping ) ) ) ) + ( file-systems + ( cons* + ( file-system + ( mount-point "/" ) + ( device "/dev/mapper/aisaka-root" ) + ( type "btrfs" ) + ( dependencies mapped-devices ) ) + ( file-system + ( mount-point "/boot" ) + ( device + ( uuid "4f77b5fc-56ad-43ae-b6ec-e5adc8c48587" 'ext4 ) ) + ( type "ext4" ) ) + %base-file-systems ) ) ) |