evening session
This commit is contained in:
5
Makefile
5
Makefile
@@ -1,6 +1,9 @@
|
|||||||
.PHONY: all
|
.PHONY: all format
|
||||||
all: .system
|
all: .system
|
||||||
|
|
||||||
.system: config.scm
|
.system: config.scm
|
||||||
sudo guix system reconfigure $<
|
sudo guix system reconfigure $<
|
||||||
touch $@
|
touch $@
|
||||||
|
|
||||||
|
format: config.scm
|
||||||
|
guix style -f $<
|
||||||
|
|||||||
13
README.md
13
README.md
@@ -2,10 +2,15 @@ _The nights are cold in the forest, but my ThinkPad keeps me warm._
|
|||||||
|
|
||||||
Welcome to my GNU/ashram, an ascetic's abode.
|
Welcome to my GNU/ashram, an ascetic's abode.
|
||||||
|
|
||||||
_The wind lisps into the leaves. The source is pure and the waters run clear._
|
_The wind lisps through the leaves. The source is pure and the waters run clear._
|
||||||
|
|
||||||
The next steps on the Path:
|
The next steps on the Path:
|
||||||
|
|
||||||
- [ ] install guix
|
- [x] install guix
|
||||||
- [ ] install emacs (magit, geiser, org-mode, evil)
|
- [x] install emacs (magit, geiser, org-mode, evil)
|
||||||
- [ ] exwm or gnome?
|
- [x] exwm or gnome?
|
||||||
|
- [ ] `wget https://guix.gnu.org/guix-refcard.pdf`
|
||||||
|
- [ ] <https://guix.gnu.org/en/videos/>
|
||||||
|
- [ ] <ttps://mumble.net/~campbell/scheme/style.txt>
|
||||||
|
- [ ] `guix install book-sicp info-reader && info sicp`
|
||||||
|
- [ ] <http://www.emacswiki.org/emacs/ParEdit>
|
||||||
|
|||||||
153
config.scm
153
config.scm
@@ -1,119 +1,104 @@
|
|||||||
;; This is an operating system configuration generated
|
;; -*- mode: scheme; -*-
|
||||||
;; by the graphical installer.
|
|
||||||
;;
|
|
||||||
;; Once installation is complete, you can learn and modify
|
|
||||||
;; this file to tweak the system configuration, and pass it
|
|
||||||
;; to the 'guix system reconfigure' command to effect your
|
|
||||||
;; changes.
|
|
||||||
|
|
||||||
;; Indicate which modules to import to access the variables
|
|
||||||
;; used in this configuration.
|
|
||||||
(use-modules (gnu)
|
(use-modules (gnu)
|
||||||
(gnu home)
|
(gnu home)
|
||||||
(gnu home services)
|
(gnu home services)
|
||||||
(gnu home services shells)
|
(gnu home services shells)
|
||||||
(gnu home services dotfiles)
|
(gnu home services dotfiles)
|
||||||
(gnu services)
|
(gnu services)
|
||||||
(gnu packages admin)
|
(gnu services admin)
|
||||||
(gnu packages gnuzilla)
|
(guix gexp))
|
||||||
(gnu packages video)
|
(use-service-modules cups
|
||||||
(guix gexp))
|
desktop
|
||||||
(use-service-modules cups desktop guix networking ssh xorg)
|
guix
|
||||||
|
networking
|
||||||
|
ssh
|
||||||
|
xorg)
|
||||||
|
|
||||||
|
(define user-packages
|
||||||
|
(list "icecat"
|
||||||
|
"mpv"
|
||||||
|
"emacs"
|
||||||
|
"emacs-geiser"
|
||||||
|
"emacs-geiser-guile"
|
||||||
|
"emacs-guix"
|
||||||
|
"guile"
|
||||||
|
"ripgrep"
|
||||||
|
"fd"
|
||||||
|
"make"
|
||||||
|
"font-fira-sans"
|
||||||
|
"font-fira-code"))
|
||||||
|
|
||||||
|
(define system-packages
|
||||||
|
(list "htop" "git" "vim"))
|
||||||
|
|
||||||
(define muni-home
|
(define muni-home
|
||||||
(home-environment
|
(home-environment
|
||||||
(packages (map specification->package
|
|
||||||
'("icecat"
|
|
||||||
"mpv")))
|
|
||||||
(services
|
(services
|
||||||
(append (list (service home-bash-service-type
|
(append (list (service home-bash-service-type
|
||||||
(home-bash-configuration
|
(home-bash-configuration
|
||||||
(guix-defaults? #t)
|
(guix-defaults? #t)
|
||||||
(aliases
|
(aliases '(("ll" . "ls -l")))
|
||||||
'(("ll" . "ls -l")))
|
(variables `(("HISTSIZE" . "50000")))))
|
||||||
(variables
|
(service home-files-service-type
|
||||||
`(("HISTSIZE" . "50000")))))
|
`((".guile" ,%default-dotguile)))
|
||||||
(service home-files-service-type
|
(service home-dotfiles-service-type
|
||||||
`((".guile" ,%default-dotguile)))
|
(home-dotfiles-configuration (directories '("./dotfiles"))))
|
||||||
(service home-dotfiles-service-type
|
(service home-xdg-configuration-files-service-type
|
||||||
(home-dotfiles-configuration
|
`(("nano/nanorc" ,%default-nanorc))))
|
||||||
(directories '("./dotfiles"))))
|
%base-home-services))))
|
||||||
(service home-xdg-configuration-files-service-type
|
|
||||||
`(("nano/nanorc" ,%default-nanorc))))
|
|
||||||
%base-home-services))))
|
|
||||||
|
|
||||||
(operating-system
|
(operating-system
|
||||||
(locale "en_US.utf8")
|
(locale "en_US.utf8")
|
||||||
(timezone "Europe/Berlin")
|
(timezone "Europe/Berlin")
|
||||||
(keyboard-layout (keyboard-layout "de"))
|
(keyboard-layout (keyboard-layout "de"))
|
||||||
(host-name "ashram")
|
(host-name "ashram")
|
||||||
|
(issue "Welcome to my GNU/ashram, an ascetic's abode.")
|
||||||
|
|
||||||
;; The list of user accounts ('root' is implicit).
|
|
||||||
(users (cons* (user-account
|
(users (cons* (user-account
|
||||||
(name "muni")
|
(name "muni")
|
||||||
(comment "muni")
|
(comment "muni")
|
||||||
(group "users")
|
(group "users")
|
||||||
(home-directory "/home/muni")
|
(home-directory "/home/muni")
|
||||||
(supplementary-groups '("wheel" "netdev" "audio" "video")))
|
(supplementary-groups '("wheel" "netdev" "audio" "video")))
|
||||||
|
;; "root" is implicit
|
||||||
%base-user-accounts))
|
%base-user-accounts))
|
||||||
|
|
||||||
;; Packages installed system-wide. Users can also install packages
|
|
||||||
;; under their own account: use 'guix search KEYWORD' to search
|
|
||||||
;; for packages and 'guix install PACKAGE' to install a package.
|
|
||||||
(packages (append (map specification->package
|
(packages (append (map specification->package
|
||||||
'("emacs"
|
(append user-packages system-packages))
|
||||||
"icecat"
|
%base-packages))
|
||||||
"emacs-geiser"
|
|
||||||
"emacs-geiser-guile"
|
|
||||||
"guile"
|
|
||||||
"git"
|
|
||||||
"ripgrep"
|
|
||||||
"fd"
|
|
||||||
"htop"
|
|
||||||
"make"
|
|
||||||
"vim"))
|
|
||||||
%base-packages))
|
|
||||||
|
|
||||||
;; Below is the list of system services. To search for available
|
|
||||||
;; services, run 'guix system search KEYWORD' in a terminal.
|
|
||||||
(services
|
(services
|
||||||
(append (list
|
(append (list (service openssh-service-type)
|
||||||
|
|
||||||
;; To configure OpenSSH, pass an 'openssh-configuration'
|
|
||||||
;; record as a second argument to 'service' below.
|
|
||||||
(service openssh-service-type)
|
|
||||||
(service tor-service-type)
|
|
||||||
(service enlightenment-desktop-service-type)
|
|
||||||
(service gnome-desktop-service-type)
|
(service gnome-desktop-service-type)
|
||||||
(service guix-home-service-type `(("muni" ,muni-home)))
|
(service guix-home-service-type
|
||||||
|
`(("muni" ,muni-home)))
|
||||||
(set-xorg-configuration
|
(set-xorg-configuration
|
||||||
(xorg-configuration (keyboard-layout keyboard-layout))))
|
(xorg-configuration (keyboard-layout keyboard-layout))))
|
||||||
|
|
||||||
;; This is the default list of services we
|
|
||||||
;; are appending to.
|
|
||||||
%desktop-services))
|
%desktop-services))
|
||||||
|
|
||||||
(bootloader (bootloader-configuration
|
(bootloader (bootloader-configuration
|
||||||
(bootloader grub-bootloader)
|
(bootloader grub-bootloader)
|
||||||
(targets (list "/dev/sda"))
|
(targets (list "/dev/sda"))
|
||||||
(keyboard-layout keyboard-layout)))
|
(keyboard-layout keyboard-layout)))
|
||||||
|
|
||||||
(swap-devices (list (swap-space
|
(swap-devices (list (swap-space
|
||||||
(target (uuid "e925b220-066c-45ea-9b8c-4cb6141dc6a3")))))
|
(target (uuid "e925b220-066c-45ea-9b8c-4cb6141dc6a3")))))
|
||||||
|
|
||||||
;; The list of file systems that get "mounted". The unique
|
(file-systems (append (list (file-system
|
||||||
;; file system identifiers there ("UUIDs") can be obtained
|
(mount-point "/boot/efi")
|
||||||
;; by running 'blkid' in a terminal.
|
(device (uuid "8066-63C2"
|
||||||
(file-systems (cons* (file-system
|
'fat32))
|
||||||
(mount-point "/boot/efi")
|
(type "vfat"))
|
||||||
(device (uuid "8066-63C2"
|
(file-system
|
||||||
'fat32))
|
(mount-point "/")
|
||||||
(type "vfat"))
|
(device (uuid
|
||||||
(file-system
|
"f84f19c8-23f4-4c4a-b9cc-bc8cde2704a5"
|
||||||
(mount-point "/")
|
'ext4))
|
||||||
(device (uuid "f84f19c8-23f4-4c4a-b9cc-bc8cde2704a5"
|
(type "ext4"))
|
||||||
'ext4))
|
(file-system
|
||||||
(type "ext4"))
|
(mount-point "/home")
|
||||||
(file-system
|
(device (uuid
|
||||||
(mount-point "/home")
|
"3b69b95f-05db-47ed-b8b4-f1649ce8f6d8"
|
||||||
(device (uuid "3b69b95f-05db-47ed-b8b4-f1649ce8f6d8"
|
'ext4))
|
||||||
'ext4))
|
(type "ext4"))) %base-file-systems)))
|
||||||
(type "ext4")) %base-file-systems)))
|
|
||||||
|
|||||||
@@ -21,8 +21,8 @@
|
|||||||
;; See 'C-h v doom-font' for documentation and more examples of what they
|
;; See 'C-h v doom-font' for documentation and more examples of what they
|
||||||
;; accept. For example:
|
;; accept. For example:
|
||||||
;;
|
;;
|
||||||
;;(setq doom-font (font-spec :family "Fira Code" :size 12 :weight 'semi-light)
|
(setq doom-font (font-spec :family "Fira Code" :size 12 :weight 'semi-light)
|
||||||
;; doom-variable-pitch-font (font-spec :family "Fira Sans" :size 13))
|
doom-variable-pitch-font (font-spec :family "Fira Sans" :size 13))
|
||||||
;;
|
;;
|
||||||
;; If you or Emacs can't find your font, use 'M-x describe-font' to look them
|
;; If you or Emacs can't find your font, use 'M-x describe-font' to look them
|
||||||
;; up, `M-x eval-region' to execute elisp code, and 'M-x doom/reload-font' to
|
;; up, `M-x eval-region' to execute elisp code, and 'M-x doom/reload-font' to
|
||||||
|
|||||||
@@ -102,7 +102,7 @@
|
|||||||
;;llm ; when I said you needed friends, I didn't mean...
|
;;llm ; when I said you needed friends, I didn't mean...
|
||||||
;;(lsp +eglot) ; M-x vscode
|
;;(lsp +eglot) ; M-x vscode
|
||||||
magit ; a git porcelain for Emacs
|
magit ; a git porcelain for Emacs
|
||||||
;;make ; run make tasks from Emacs
|
make ; run make tasks from Emacs
|
||||||
;;pass ; password manager for nerds
|
;;pass ; password manager for nerds
|
||||||
;;pdf ; pdf enhancements
|
;;pdf ; pdf enhancements
|
||||||
;;terraform ; infrastructure as code
|
;;terraform ; infrastructure as code
|
||||||
@@ -119,8 +119,8 @@
|
|||||||
;;(agda +local) ; types of types of types of types...
|
;;(agda +local) ; types of types of types of types...
|
||||||
;;beancount ; mind the GAAP
|
;;beancount ; mind the GAAP
|
||||||
;;(cc +lsp) ; C > C++ == 1
|
;;(cc +lsp) ; C > C++ == 1
|
||||||
;;clojure ; java with a lisp
|
clojure ; java with a lisp
|
||||||
;;common-lisp ; if you've seen one lisp, you've seen them all
|
common-lisp ; if you've seen one lisp, you've seen them all
|
||||||
;;coq ; proofs-as-programs
|
;;coq ; proofs-as-programs
|
||||||
;;crystal ; ruby at the speed of c
|
;;crystal ; ruby at the speed of c
|
||||||
;;csharp ; unity, .NET, and mono shenanigans
|
;;csharp ; unity, .NET, and mono shenanigans
|
||||||
@@ -156,7 +156,7 @@
|
|||||||
markdown ; writing docs for people to ignore
|
markdown ; writing docs for people to ignore
|
||||||
;;nim ; python + lisp at the speed of c
|
;;nim ; python + lisp at the speed of c
|
||||||
;;nix ; I hereby declare "nix geht mehr!"
|
;;nix ; I hereby declare "nix geht mehr!"
|
||||||
;;ocaml ; an objective camel
|
ocaml ; an objective camel
|
||||||
org ; organize your plain life in plain text
|
org ; organize your plain life in plain text
|
||||||
;;php ; perl's insecure younger brother
|
;;php ; perl's insecure younger brother
|
||||||
;;plantuml ; diagrams for confusing people more
|
;;plantuml ; diagrams for confusing people more
|
||||||
@@ -171,7 +171,7 @@
|
|||||||
;;(ruby +rails) ; 1.step {|i| p "Ruby is #{i.even? ? 'love' : 'life'}"}
|
;;(ruby +rails) ; 1.step {|i| p "Ruby is #{i.even? ? 'love' : 'life'}"}
|
||||||
;;(rust +lsp) ; Fe2O3.unwrap().unwrap().unwrap().unwrap()
|
;;(rust +lsp) ; Fe2O3.unwrap().unwrap().unwrap().unwrap()
|
||||||
;;scala ; java, but good
|
;;scala ; java, but good
|
||||||
;;(scheme +guile) ; a fully conniving family of lisps
|
(scheme +guile) ; a fully conniving family of lisps
|
||||||
sh ; she sells {ba,z,fi}sh shells on the C xor
|
sh ; she sells {ba,z,fi}sh shells on the C xor
|
||||||
;;sml
|
;;sml
|
||||||
;;solidity ; do you need a blockchain? No.
|
;;solidity ; do you need a blockchain? No.
|
||||||
|
|||||||
Reference in New Issue
Block a user