;; This is an operating system configuration template ;; for a "desktop" setup with GNOME and Xfce and awesome. ;; I am using this file as of march 17th (use-modules (gnu) (gnu system nss)) (use-service-modules desktop) (use-package-modules certs gnome) (operating-system (host-name "GuixSD") (timezone "America/Indianapolis") (locale "en_US.UTF-8") ;;blacklist this keyboard module. It might help my mouse to load properly. ;;http://debbugs.gnu.org/cgi/bugreport.cgi?bug=20433 ;; (kernel-arguments '("modprobe.blacklist=usbkdb")) (swap-devices '("/dev/sda3")) ;; Assuming /dev/sdX is the target hard disk, and "my-root" ;; is the label of the target root file system. (bootloader (grub-configuration (device "/dev/sda") ;; This bug was fixed with a newer version of guix. Cool! ;; Here is my hack (grub-configuration appends bzImage to `linux') ;; to add a custom entry for debian on /dev/sda3 to the Grub menu ;; On Debian, do: ;; sudo mkdir -p /boot/latest ;; sudo ln -s $(ls -t /boot/vmlinuz*|head -1) /boot/latest/bzImage ;; sudo ln -s $(ls -t /boot/initramfs*|head -1) /boot/latest/initrd (menu-entries (list (menu-entry (label "Parabola") (linux "(hd0,1)/boot/vmlinuz-linux-libre") (linux-arguments '("root=/dev/sda1 ro")) (initrd "(hd0,1)/boot/initramfs-linux-libre.img")))))) (file-systems (cons* (file-system (device "my-root") (title 'label) (mount-point "/") (type "ext4")) (file-system (mount-point "/home") (device "/dev/sda4") (type "ext4")) %base-file-systems)) (users (cons (user-account (name "joshua") (comment "joshua") ;;I need to specify that joshua has the uid of 2000. (uid 2000) (group "users") (supplementary-groups '("wheel" "netdev" "audio" "video" "home")) (home-directory "/home/joshua")) %base-user-accounts)) (groups (cons (user-group (name "home") ;;I need to specify that there is a home group. Most of my files in my home directory are owned by the group home. ;;Though I could probably just make them owned by joshua. (id 2000)) %base-groups)) ;; This is where we specify system-wide packages. (packages (cons* ;;awesome nss-certs ;for HTTPS access ;;emacs ;;icecat ;;adding in extra window managers, so maybe I'll be able to login. ;;i3-wm ;;xmonad ;;ratpoison %base-packages)) ;; (packages (append (map specification->package ;; '( ;;"awesome" ;;"brasero" ;;"devhelp" ;;"diction" ;;"emacs" ;;"emacs-async" ;;"emacs-ace-window" ;;"emacs-dash" ;;"emacs-emms" ;;"emacs-evil" ;;"emacs-f" ;;"emacs-flycheck" ;;"emacs-helm" ;;"emacs-js2-mode" ;;"emacs-magit-popup" ;;"emacs-mmm-mode" ;;"emacs-org" ;;"emacs-paredit" ;;"emacs-pdf-tools" ;;"emacs-projectile" ;;"emacs-rainbow-delimiters" ;;"emacs-smart-mode-line" ;;"emacs-web-mode" ;;"emacs-zenburn-theme" ;;"geiser" ;;code is guile like in python ;;"font-hack" ;;"font-dejavu" ;;"icecat" ;; for HTTPS access ;; "nss-certs")) ;; %base-packages)) ;; Add GNOME and/or Xfce---we can choose at the log-in ;; screen with F1. Use the "desktop" services, which ;; include the X11 log-in service, networking with Wicd, ;; and more. (services (cons* (gnome-desktop-service) (xfce-desktop-service) ;; apparently syslog is provided by default ;;(syslog-service) ;;make the console use the dvorak keyboard layout (console-keymap-service "dvorak") %desktop-services)) ;; Allow resolution of '.local' host names with mDNS. (name-service-switch %mdns-host-lookup-nss))