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)
|
2017-09-12 20:35:12 +00:00
|
|
|
(use-package-modules screen ssh)
|
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
|
|
|
|
2018-07-05 09:44:46 +00:00
|
|
|
;; Boot in "legacy" BIOS mode, assuming /dev/sdX is the
|
|
|
|
;; target hard disk, and "my-root" is the label of the target
|
|
|
|
;; root file system.
|
2017-08-20 08:48:19 +00:00
|
|
|
(bootloader (bootloader-configuration
|
|
|
|
(bootloader grub-bootloader)
|
2017-08-23 19:48:58 +00:00
|
|
|
(target "/dev/sdX")))
|
2014-07-24 20:45:24 +00:00
|
|
|
(file-systems (cons (file-system
|
2018-05-18 11:43:07 +00:00
|
|
|
(device (file-system-label "my-root"))
|
2014-07-24 20:45:24 +00:00
|
|
|
(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.
|
2017-09-12 20:35:12 +00:00
|
|
|
(packages (cons* screen openssh %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)))
|