2015-05-09 23:16:11 +02:00
|
|
|
;; This is an operating system configuration template
|
|
|
|
;; for a "desktop" setup with X11.
|
|
|
|
|
|
|
|
(use-modules (gnu) (gnu system nss))
|
|
|
|
(use-service-modules desktop)
|
2015-11-02 22:03:15 +01:00
|
|
|
(use-package-modules xfce ratpoison avahi xorg certs)
|
2015-05-09 23:16:11 +02:00
|
|
|
|
|
|
|
(operating-system
|
|
|
|
(host-name "antelope")
|
|
|
|
(timezone "Europe/Paris")
|
|
|
|
(locale "en_US.UTF-8")
|
|
|
|
|
|
|
|
;; Assuming /dev/sdX is the target hard disk, and "root" is
|
|
|
|
;; the label of the target root file system.
|
|
|
|
(bootloader (grub-configuration (device "/dev/sdX")))
|
2015-11-01 22:14:47 +01:00
|
|
|
|
|
|
|
;; Here we assume that /dev/sdX1 contains a LUKS-encrypted
|
|
|
|
;; root partition created with 'cryptsetup luksFormat'.
|
|
|
|
(mapped-devices (list (mapped-device
|
|
|
|
(source "/dev/sdX1")
|
|
|
|
(target "root-partition")
|
|
|
|
(type luks-device-mapping))))
|
|
|
|
|
|
|
|
;; Mount said encrypted partition.
|
2015-05-09 23:16:11 +02:00
|
|
|
(file-systems (cons (file-system
|
2015-11-01 22:14:47 +01:00
|
|
|
(device "/dev/mapper/root-partition")
|
2015-05-09 23:16:11 +02:00
|
|
|
(mount-point "/")
|
|
|
|
(type "ext4"))
|
|
|
|
%base-file-systems))
|
|
|
|
|
2015-05-25 16:54:05 +02:00
|
|
|
(users (cons (user-account
|
2015-05-09 23:16:11 +02:00
|
|
|
(name "bob")
|
|
|
|
(comment "Alice's brother")
|
|
|
|
(group "users")
|
2015-05-12 04:39:26 +02:00
|
|
|
(supplementary-groups '("wheel" "netdev"
|
2015-05-09 23:16:11 +02:00
|
|
|
"audio" "video"))
|
2015-05-25 16:54:05 +02:00
|
|
|
(home-directory "/home/bob"))
|
|
|
|
%base-user-accounts))
|
2015-05-09 23:16:11 +02:00
|
|
|
|
|
|
|
;; Add Xfce and Ratpoison; that allows us to choose
|
|
|
|
;; sessions using either of these at the log-in screen.
|
|
|
|
(packages (cons* xfce ratpoison ;desktop environments
|
2015-11-02 22:03:15 +01:00
|
|
|
xterm avahi ;useful tools
|
2015-05-11 22:59:29 +02:00
|
|
|
nss-certs ;for HTTPS access
|
2015-05-09 23:16:11 +02:00
|
|
|
%base-packages))
|
|
|
|
|
|
|
|
;; Use the "desktop" services, which include the X11
|
|
|
|
;; log-in service, networking with Wicd, and more.
|
|
|
|
(services %desktop-services)
|
|
|
|
|
|
|
|
;; Allow resolution of '.local' host names with mDNS.
|
|
|
|
(name-service-switch %mdns-host-lookup-nss))
|