Guest User

Untitled

a guest
Jan 25th, 2023
107
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Scheme 2.45 KB | None | 0 0
  1. ;; -*- mode: scheme; -*-
  2. ;; This is an operating system configuration template
  3. ;; for a "bare bones" setup, with no X11 display server.
  4.  
  5. (use-modules (gnu))
  6. (use-service-modules networking ssh)
  7. (use-package-modules screen ssh)
  8.  
  9. (operating-system
  10.   (host-name "piet")
  11.   (timezone "Europe/Berlin")
  12.   (locale "en_US.utf8")
  13.  
  14.   ;; Boot in "legacy" BIOS mode, assuming /dev/sdX is the
  15.   ;; target hard disk, and "my-root" is the label of the target
  16.   ;; root file system.
  17.   (bootloader (bootloader-configuration
  18.                 (bootloader grub-bootloader)
  19.                 (targets '("/dev/sda"))))
  20.  
  21.   (mapped-devices (list
  22.             (mapped-device
  23.               (source (uuid "003151c3-046b-474e-9b2a-b6622232ba5c"))
  24.               (target "cryptpiet")
  25.               (type luks-device-mapping))
  26.             (mapped-device
  27.               (source "piet")
  28.               (targets (list "piet-root"))
  29.               (type lvm-device-mapping))))
  30.   ;; It's fitting to support the equally bare bones ‘-nographic’
  31.   ;; QEMU option, which also nicely sidesteps forcing QWERTY.
  32.   (kernel-arguments (list "console=ttyS0,115200"))
  33.   (file-systems (cons (file-system
  34.                         (device (file-system-label "piet-root"))
  35.                         (mount-point "/")
  36.                         (type "ext4")
  37.             (dependencies mapped-devices))
  38.                       %base-file-systems))
  39.  
  40.   ;; This is where user accounts are specified.  The "root"
  41.   ;; account is implicit, and is initially created with the
  42.   ;; empty password.
  43.   (users (cons (user-account
  44.                 (name "michl")
  45.                 (comment "Michael")
  46.                 (group "users")
  47.  
  48.                 ;; Adding the account to the "wheel" group
  49.                 ;; makes it a sudoer.  Adding it to "audio"
  50.                 ;; and "video" allows the user to play sound
  51.                 ;; and access the webcam.
  52.                 (supplementary-groups '("wheel"
  53.                                         "audio" "video")))
  54.                %base-user-accounts))
  55.  
  56.   ;; Globally-installed packages.
  57.   (packages (cons screen %base-packages))
  58.  
  59.   ;; Add services to the baseline: a DHCP client and
  60.   ;; an SSH server.
  61.   (services (append (list (service dhcp-client-service-type)
  62.                           (service openssh-service-type
  63.                                    (openssh-configuration
  64.                                     (openssh openssh-sans-x)
  65.                                     (port-number 2222))))
  66.                     %base-services)))
  67.  
  68.  
Advertisement
Add Comment
Please, Sign In to add comment