2015-05-09 21:16:11 +00:00
|
|
|
;; This is an operating system configuration template
|
|
|
|
;; for a "bare bones" setup, with no X11 display server.
|
2014-07-24 20:45:24 +00:00
|
|
|
|
|
|
|
(use-modules (gnu))
|
2015-05-09 21:16:11 +00:00
|
|
|
(use-service-modules networking ssh)
|
|
|
|
(use-package-modules admin)
|
2014-07-24 20:45:24 +00:00
|
|
|
|
|
|
|
(operating-system
|
2015-05-09 21:16:11 +00:00
|
|
|
(host-name "komputilo")
|
|
|
|
(timezone "Europe/Berlin")
|
2017-02-13 08:57:01 +00:00
|
|
|
(locale "en_US.utf8")
|
2014-07-24 20:45:24 +00:00
|
|
|
|
2015-12-21 04:09:22 +00:00
|
|
|
;; Assuming /dev/sdX is the target hard disk, and "my-root" is
|
2014-07-24 20:45:24 +00:00
|
|
|
;; the label of the target root file system.
|
2017-08-20 08:48:19 +00:00
|
|
|
(bootloader (bootloader-configuration
|
|
|
|
(bootloader grub-bootloader)
|
|
|
|
(device "/dev/sdX")))
|
2014-07-24 20:45:24 +00:00
|
|
|
(file-systems (cons (file-system
|
2015-12-21 04:09:22 +00:00
|
|
|
(device "my-root")
|
2014-07-24 20:45:24 +00:00
|
|
|
(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.
|
2015-05-25 14:54:05 +00:00
|
|
|
(users (cons (user-account
|
2014-07-24 20:45:24 +00:00
|
|
|
(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"))
|
2015-05-25 14:54:05 +00:00
|
|
|
(home-directory "/home/alice"))
|
|
|
|
%base-user-accounts))
|
2015-01-23 14:12:26 +00:00
|
|
|
|
2015-03-08 22:05:51 +00:00
|
|
|
;; Globally-installed packages.
|
2015-05-09 21:16:11 +00:00
|
|
|
(packages (cons tcpdump %base-packages))
|
2015-03-08 22:05:51 +00:00
|
|
|
|
2015-05-09 21:16:11 +00:00
|
|
|
;; Add services to the baseline: a DHCP client and
|
|
|
|
;; an SSH server.
|
|
|
|
(services (cons* (dhcp-client-service)
|
2017-04-09 01:38:54 +00:00
|
|
|
(service openssh-service-type
|
|
|
|
(openssh-configuration
|
|
|
|
(port-number 2222)))
|
2015-01-23 14:12:26 +00:00
|
|
|
%base-services)))
|