* gnu/system/accounts.scm (<user-account>)[home-directory]: Mark as
thunked and add a default value.
(default-home-directory): New procedure.
* doc/guix.texi (User Accounts): Remove 'home-directory' from example.
* gnu/system/examples/bare-bones.tmpl: Likewise.
* gnu/system/examples/beaglebone-black.tmpl: Likewise.
* gnu/system/examples/desktop.tmpl: Likewise.
* gnu/system/examples/docker-image.tmpl: Likewise.
* gnu/system/examples/lightweight-desktop.tmpl: Likewise.
* gnu/system/install.scm (installation-os): Likewise.
* gnu/tests.scm (%simple-os): Likewise.
* gnu/tests/install.scm (%minimal-os, %minimal-os-on-vda):
(%separate-home-os, %encrypted-root-os, %btrfs-root-os): Likewise.
* tests/accounts.scm ("allocate-passwd")
("allocate-passwd with previous state"): Likewise.
		
	
			
		
			
				
	
	
		
			55 lines
		
	
	
	
		
			1.9 KiB
		
	
	
	
		
			Cheetah
		
	
	
	
	
	
			
		
		
	
	
			55 lines
		
	
	
	
		
			1.9 KiB
		
	
	
	
		
			Cheetah
		
	
	
	
	
	
| ;; This is an operating system configuration template
 | |
| ;; for a "desktop" setup without full-blown desktop
 | |
| ;; environments.
 | |
| 
 | |
| (use-modules (gnu) (gnu system nss))
 | |
| (use-service-modules desktop)
 | |
| (use-package-modules bootloaders certs ratpoison suckless wm)
 | |
| 
 | |
| (operating-system
 | |
|   (host-name "antelope")
 | |
|   (timezone "Europe/Paris")
 | |
|   (locale "en_US.utf8")
 | |
| 
 | |
|   ;; Use the UEFI variant of GRUB with the EFI System
 | |
|   ;; Partition mounted on /boot/efi.
 | |
|   (bootloader (bootloader-configuration
 | |
|                 (bootloader grub-efi-bootloader)
 | |
|                 (target "/boot/efi")))
 | |
| 
 | |
|   ;; Assume the target root file system is labelled "my-root",
 | |
|   ;; and the EFI System Partition has UUID 1234-ABCD.
 | |
|   (file-systems (append
 | |
|                  (list (file-system
 | |
|                          (device (file-system-label "my-root"))
 | |
|                          (mount-point "/")
 | |
|                          (type "ext4"))
 | |
|                        (file-system
 | |
|                          (device (uuid "1234-ABCD" 'fat))
 | |
|                          (mount-point "/boot/efi")
 | |
|                          (type "vfat")))
 | |
|                  %base-file-systems))
 | |
| 
 | |
|   (users (cons (user-account
 | |
|                 (name "alice")
 | |
|                 (comment "Bob's sister")
 | |
|                 (group "users")
 | |
|                 (supplementary-groups '("wheel" "netdev"
 | |
|                                         "audio" "video")))
 | |
|                %base-user-accounts))
 | |
| 
 | |
|   ;; Add a bunch of window managers; we can choose one at
 | |
|   ;; the log-in screen with F1.
 | |
|   (packages (append (list
 | |
|                      ;; window managers
 | |
|                      ratpoison i3-wm i3status dmenu
 | |
|                      ;; for HTTPS access
 | |
|                      nss-certs)
 | |
|                     %base-packages))
 | |
| 
 | |
|   ;; Use the "desktop" services, which include the X11
 | |
|   ;; log-in service, networking with NetworkManager, and more.
 | |
|   (services %desktop-services)
 | |
| 
 | |
|   ;; Allow resolution of '.local' host names with mDNS.
 | |
|   (name-service-switch %mdns-host-lookup-nss))
 |