From b14a123560dbfc4b7b9ceedf12cc5730558e2418 Mon Sep 17 00:00:00 2001
From: David Thompson <dthompson2@worcester.edu>
Date: Sat, 17 Feb 2024 10:00:34 -0500
Subject: Move all os/home configurations into modules.

---
 rise-os.scm | 120 ------------------------------------------------------------
 1 file changed, 120 deletions(-)
 delete mode 100644 rise-os.scm

(limited to 'rise-os.scm')

diff --git a/rise-os.scm b/rise-os.scm
deleted file mode 100644
index 7dc5247..0000000
--- a/rise-os.scm
+++ /dev/null
@@ -1,120 +0,0 @@
-;;; Copyright © 2023 David Thompson <dthompson2@worcester.edu>
-;;;
-;;; This program is free software; you can redistribute it and/or
-;;; modify it under the terms of the GNU General Public License as
-;;; published by the Free Software Foundation; either version 3 of the
-;;; License, or (at your option) any later version.
-;;;
-;;; This program is distributed in the hope that it will be useful,
-;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
-;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
-;;; General Public License for more details.
-;;;
-;;; You should have received a copy of the GNU General Public License
-;;; along with this program.  If not, see
-;;; <http://www.gnu.org/licenses/>.
-
-;;; Commentary:
-;;
-;; Digital Audio Workstation configuration.
-;;
-;; To update using this OS configuration, run:
-;;
-;;    sudo -E guix system reconfigure rise.scm
-
-(use-modules (gnu)
-             (gnu services cups)
-             (gnu services desktop)
-             (gnu services pm)
-	     (gnu services sound)
-             (nongnu packages linux)
-             (nongnu system linux-initrd))
-
-(operating-system
- (locale "en_US.utf8")
- (timezone "America/New_York")
- (keyboard-layout (keyboard-layout "us"))
- (host-name "rise")
- (bootloader (bootloader-configuration
-              (bootloader grub-efi-bootloader)
-              (targets (list "/boot/efi"))
-              (keyboard-layout keyboard-layout)))
- ;; Use regular Linux with the big bad proprietary firmware blobs.
- (kernel linux)
- ;; Install microcode updates because why the heck wouldn't you want
- ;; this???
- (initrd microcode-initrd)
- ;; sof-firmware is required for sound to work, linux-firmware takes
- ;; care of everything else.
- (firmware (list sof-firmware linux-firmware))
- (users (cons* (user-account
-                (name "dave")
-                (comment "David Thompson")
-                (group "users")
-                (home-directory "/home/dave")
-                (supplementary-groups
-                 '("audio"
-                   "kvm"      ; for VMs
-                   "lp"       ; for bluetooth
-                   "netdev"
-		   "realtime" ; for realtime prioritization
-                   "video"
-                   "wheel"))) ; for sudo
-               %base-user-accounts))
- (groups (cons (user-group
-		(name "realtime")
-		(system? #t))
-	       %base-groups))
- (packages (append (map specification->package
-			'("ncurses" "nss-certs" "strace"))
-                   %base-packages))
- (services (modify-services
-	    (cons* (service gnome-desktop-service-type)
-                   (service bluetooth-service-type)
-		   ;; Keep CPU temp in check.
-                   (service thermald-service-type)
-		   ;; Enable CUPS web UI and also add the extension
-		   ;; for my Brother laser printer.
-                   (service cups-service-type
-                            (cups-configuration
-                             (web-interface? #t)
-                             (extensions
-			      (map specification->package '("cups-filters" "brlaser")))))
-		   ;; The first entry increases the maximum realtime
-		   ;; priority for non-privileged processes; the
-		   ;; second entry lifts any restriction of the
-		   ;; maximum address space that can be locked in
-		   ;; memory.
-		   (service pam-limits-service-type
-			    (list
-			     (pam-limits-entry "@realtime"
-					       'both 'rtprio 99)
-			     (pam-limits-entry "@realtime"
-					       'both 'memlock 'unlimited)))
-                   %desktop-services)
-	    ;; In this house, we use JACK.
-	    (delete pulseaudio-service-type)
-            ;; Get nonguix substitutes.
-            (guix-service-type config =>
-                               (guix-configuration
-                                (inherit config)
-                                (substitute-urls
-                                 (append (list "https://substitutes.nonguix.org")
-                                         %default-substitute-urls))
-                                (authorized-keys
-                                 (append (list (local-file "keys/nonguix-signing-key.pub"))
-                                         %default-authorized-guix-keys))))))
- (mapped-devices (list (mapped-device
-                        (source (uuid "ee0a37d1-36d6-4e50-8af0-fc0bfe8c22ef"))
-                        (target "cryptroot")
-                        (type luks-device-mapping))))
- (file-systems (cons* (file-system
-                       (mount-point "/boot/efi")
-                       (device (uuid "1F21-80A1" 'fat32))
-                       (type "vfat"))
-                      (file-system
-                       (mount-point "/")
-                       (device "/dev/mapper/cryptroot")
-                       (type "ext4")
-                       (dependencies mapped-devices)) %base-file-systems))
- (name-service-switch %mdns-host-lookup-nss))
-- 
cgit v1.2.3