Hello! I saw in Guix manual
http://guix.gnu.org/manual/en/guix.html#index-firmware
that there is 'firmware' module in operating-system that is %base-firmware by
default.
I want to try to remove 'firmware' module to look if my pc continues to work
without it.
Can you please help me?
I use 'remove' procedure in 'services' but really cannot repeat it for
'operating-system'.
I just want to unset 'firmware' or make it totally empty.
; -*- 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 + static networking 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/disk") (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)
(static-networking-service "wlp0s20f0u2"
"192.168.1.71"
#:netmask
"255.255.255.0"
#:gateway
"192.168.1.1")
(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 with static networking (above)
(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
