summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarek Paśnikowski <marekpasnikowski@protonmail.com>2022-09-26 16:57:31 +0200
committerMarek Paśnikowski <marekpasnikowski@protonmail.com>2022-09-26 16:57:31 +0200
commitd240c6d71f2a1a24d27fc4e491a4e0bc12a1e8ac (patch)
tree38790fa47aa663f53b67237b8d538c9fa52df017
parent954aa1cc9f5fd6ce481868d60b2eb6015a2fce26 (diff)
Guix System: reformat according to the pretty-print principle
-rw-r--r--system-configuration.scm104
1 files changed, 46 insertions, 58 deletions
diff --git a/system-configuration.scm b/system-configuration.scm
index 5aec75b..d839511 100644
--- a/system-configuration.scm
+++ b/system-configuration.scm
@@ -1,62 +1,50 @@
(use-modules (gnu))
-
(use-package-modules cups)
(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" "netcat-openbsd" "nss-certs" "trezord" "trezord-udev-rules"))
- %base-packages))
- (services
- (append
- (list
- (service cups-service-type
- (cups-configuration (extensions (list cups-filters
- epson-inkjet-printer-escpr))
- (web-interface? #t)))
- (service openssh-service-type)
- (service gnome-desktop-service-type)
- (service tor-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"
+ "netcat-openbsd"
+ "nss-certs"
+ "trezord"
+ "trezord-udev-rules"))
+ %base-packages))
+ (services (append (list (service cups-service-type
+ (cups-configuration (extensions (list cups-filters
+ epson-inkjet-printer-escpr))
+ (web-interface? #t)))
+ (service openssh-service-type)
+ (service gnome-desktop-service-type)
+ (service tor-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)))