; -*- mode: Scheme; -*- ;;this is znavko's Dual Boot config ;; for lightweight xfce4 desktop ;; with the second OS in GRUB on the separate SSD /dev/sdb2 ( grub: (hd1,gpt2) ) ;; without networkmanager but wpa_supplicant + dhcp-client instead ;; with sudoers for openvpn and wpa_supplicant scripts in /usr/scripts ;; disabling pc-speaker (use-modules (gnu) (gnu system nss) (gnu system locale) ;;for locale-definition (gnu services desktop) (srfi srfi-1) ;;for remove function (gnu services networking) ;;for remove ntp (gnu services avahi) ;;for remove avahi (gnu services xorg) (gnu packages admin) ;;for wpa_supplicant ) (define %sudoers-specification (plain-file "sudoers" "root ALL=(ALL) ALL %wheel ALL=(ALL) ALL %wheel ALL=(root) NOPASSWD: /usr/scripts/*, /wpa")) (use-service-modules desktop) (use-package-modules certs gnome) (operating-system (host-name "antelope") (timezone "Europe/Moscow") (locale "en_US.utf8") (bootloader (bootloader-configuration (bootloader grub-efi-bootloader) (target "/boot/efi") (menu-entries (list (menu-entry (label "Devuan") (linux "(hd1,gpt2)/vmlinuz") (linux-arguments '("root=/dev/sdb2")) (initrd "(hd1,gpt2)/initrd.img")))))) (file-systems (cons* (file-system (device "/dev/sda1") (mount-point "/boot/efi") (type "vfat")) (file-system (device "/dev/sda2") (mount-point "/") (type "ext4")) (file-system (device "/dev/sdc1") (mount-point "/home/bob/ssd") (type "ext4")) %base-file-systems)) (swap-devices '("/dev/sda3")) (users (cons* (user-account (name "bob") (group "users") (supplementary-groups '("wheel" "netdev" "audio" "video")) (home-directory "/home/bob")) (user-account (name "mom") (group "users") (supplementary-groups '("wheel" "netdev" "audio" "video")) (home-directory "/home/mom")) %base-user-accounts)) ;; This is where we specify system-wide packages. (packages (cons* nss-certs ;for HTTPS access gvfs ;for user mounts wpa-supplicant %base-packages)) (services (cons* ;; xfce4 desktop, dhcp-client, slim (service xfce-desktop-service-type) (service dhcp-client-service-type) (service slim-service-type) (modify-services ;; removing unnecessary services (remove (lambda (service) (member (service-kind service) (list ntp-service-type avahi-service-type bluetooth-service network-manager-service-type gdm-service-type))) %desktop-services) ;end of remove lambda services ;; wpa_supplicant + dhcp-client (above) instead of networkmanager (wpa-supplicant-service-type config => (wpa-supplicant-configuration (interface "wlp0s20f0u2") (config-file "/etc/wpa_supplicant/wpa_supplicant.conf"))) ) ;;end of modify-services )) ;;end of services ;; Allow resolution of '.local' host names with mDNS. (name-service-switch %mdns-host-lookup-nss) ;;blacklist ugly sound speaker, blacklist (kernel-arguments '("modprobe.blacklist=pcspkr,snd_pcsp,bluetooth")) (sudoers-file %sudoers-specification) ) ;;end of operating-system