2022-12-15 18:39:35 +00:00
|
|
|
|
;; -*- mode: scheme; -*-
|
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)
|
2020-06-06 09:10:42 +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)
|
2021-08-07 19:07:47 +00:00
|
|
|
|
(targets '("/dev/sdX"))))
|
2022-10-23 00:00:00 +00:00
|
|
|
|
;; It's fitting to support the equally bare bones ‘-nographic’
|
|
|
|
|
;; QEMU option, which also nicely sidesteps forcing QWERTY.
|
|
|
|
|
(kernel-arguments (list "console=ttyS0,115200"))
|
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"
|
2019-03-22 13:06:54 +00:00
|
|
|
|
"audio" "video")))
|
2015-05-25 14:54:05 +00:00
|
|
|
|
%base-user-accounts))
|
2015-01-23 14:12:26 +00:00
|
|
|
|
|
2015-03-08 22:05:51 +00:00
|
|
|
|
;; Globally-installed packages.
|
2018-11-24 15:07:30 +00:00
|
|
|
|
(packages (cons screen %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.
|
2019-01-21 18:37:59 +00:00
|
|
|
|
(services (append (list (service dhcp-client-service-type)
|
|
|
|
|
(service openssh-service-type
|
|
|
|
|
(openssh-configuration
|
2020-06-06 09:10:42 +00:00
|
|
|
|
(openssh openssh-sans-x)
|
2019-01-21 18:37:59 +00:00
|
|
|
|
(port-number 2222))))
|
|
|
|
|
%base-services)))
|