This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.
2014-07-24 20:45:24 +00:00
|
|
|
;; This is an operating system configuration template.
|
|
|
|
|
|
|
|
(use-modules (gnu))
|
|
|
|
|
|
|
|
(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")))
|
|
|
|
(file-systems (cons (file-system
|
|
|
|
(device "root")
|
|
|
|
(title 'label)
|
|
|
|
(mount-point "/")
|
|
|
|
(type "ext4"))
|
|
|
|
%base-file-systems))
|
|
|
|
|
|
|
|
;; This is where user accounts are specified. The "root"
|
|
|
|
;; account is implicit, and is initially created with the
|
|
|
|
;; empty password.
|
|
|
|
(users (list (user-account
|
|
|
|
(name "alice")
|
|
|
|
(comment "Bob's sister")
|
|
|
|
(group "users")
|
|
|
|
|
|
|
|
;; Adding the account to the "wheel" group
|
2014-11-10 21:27:28 +00:00
|
|
|
;; makes it a sudoer. Adding it to "audio"
|
|
|
|
;; and "video" allows the user to play sound
|
|
|
|
;; and access the webcam.
|
|
|
|
(supplementary-groups '("wheel"
|
|
|
|
"audio" "video"))
|
2014-07-24 20:45:24 +00:00
|
|
|
(home-directory "/home/alice")))))
|