summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--system-configuration.scm110
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)))