diff options
-rw-r--r-- | system-configuration.scm | 110 |
1 files changed, 55 insertions, 55 deletions
diff --git a/system-configuration.scm b/system-configuration.scm index 0680544..6bccaf2 100644 --- a/system-configuration.scm +++ b/system-configuration.scm @@ -1,57 +1,57 @@ -( use-modules ( gnu ) ) +(use-modules (gnu)) -( use-service-modules cups desktop networking ssh xorg ) +(use-service-modules cups desktop networking ssh xorg) -( operating-system - ( 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 "guile-spec" "nss-certs" "trezord" "trezord-udev-rules" ) ) - %base-packages ) ) - ( services - ( append - ( list - ( service cups-service-type ) - ( service openssh-service-type ) - ( service gnome-desktop-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 + (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 "guile-spec" "nss-certs" "trezord" "trezord-udev-rules")) + %base-packages)) + (services + (append + (list + (service cups-service-type) + (service openssh-service-type) + (service gnome-desktop-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))) |