emacs/.config/emacs/Emacs.org

@@ -56,12 +56,6 @@
   (setq use-package-always-ensure t)
   (setq use-package-verbose t)
 #+end_src
-** Set up path correctly
-#+begin_src emacs-lisp
-  (use-package exec-path-from-shell
-      :config
-      (exec-path-from-shell-initialize))
-#+end_src
 ** Automatic updates
 #+begin_src emacs-lisp
   (use-package auto-package-update
@@ -140,22 +134,8 @@
 *** Catppuccin
 #+begin_src emacs-lisp
   (use-package catppuccin-theme
-    :config)
-;    (load-theme 'catppuccin :no-confirm))
-#+end_src
-*** Modus Themes
-#+begin_src emacs-lisp
-  (use-package emacs
     :config
-    (require-theme 'modus-themes)
+    (load-theme 'catppuccin :no-confirm))
-    (setq modus-themes-italic-constructs t
-          modus-themes-bold-constructs t
-          modus-themes-links '(no-underline background faint)
-          modus-themes-prompts '(bold intense)
-          modus-themes-mode-line '(borderless accented moody)
-          modus-themes-org-blocks 'gray-background
-          modus-themes-region '(bg-only no-extend))
-    (load-theme 'modus-operandi :no-confirm))
 #+end_src
 * Completion
 ** Vertico
@@ -282,8 +262,8 @@
 * Languages
 ** Agda
 #+begin_src emacs-lisp
-  (load-file (let ((coding-system-for-read 'utf-8))
+ (load-file (let ((coding-system-for-read 'utf-8))
-                  (shell-command-to-string "agda-mode locate")))
+                 (shell-command-to-string "agda-mode locate")))
 #+end_src
 ** PG
 #+begin_src emacs-lisp
@@ -296,13 +276,17 @@
   		   :host github
   		   :repo "idris-community/idris2-mode"))
 #+end_src
-** C
+** Sage
 #+begin_src emacs-lisp
-  (use-package emacs
+  (use-package sage-shell-mode
     :hook
-    (c-mode . electric-pair-mode)
+    (sage-shell-mode . eldoc-mode)
+    (sage-shell:sage-mode . eldoc-mode)
+    (sage-shell-after-prompt . sage-shell-view-mode)
     :custom
-    (c-default-style '((java-mode . "java") (awk-mode . "awk") (other . "linux"))))
+    (sage-shell-view-default-resolution 250)
+    :config
+    (sage-shell:define-alias))
 #+end_src
 * Latex
 ** Auctex
@@ -383,8 +367,6 @@
       "PP" "\\P"
       "FF" "\\F"
       "HH" "\\H"
-      "SS" "\\Ss"
-      "TT" "\\T"
       "\\\\\\" "\\setminus"
       "s=" "\\subseteq"
       "s<" "\\subset"
@@ -397,46 +379,23 @@
 #+end_src
 * Org Mode
 ** Org itself
-I'm using the fork as described [[https://abode.karthinks.com/org-latex-preview/][here]] in order to have much better LaTeX previews. This is eventually supposed to be merged into emacs proper, which would be nice.
 #+begin_src emacs-lisp
   (use-package org
-    :defer
+    :straight (:type built-in)
-    :straight `(org
-                :fork (:host nil
-                       :repo "https://git.tecosaur.net/tec/org-mode.git"
-                       :branch "dev"
-                       :remote "tecosaur")
-                :files (:defaults "etc")
-                :build t
-                :pre-build
-                (with-temp-file "org-version.el"
-                 (require 'lisp-mnt)
-                 (let ((version
-                        (with-temp-buffer
-                          (insert-file-contents "lisp/org.el")
-                          (lm-header "version")))
-                       (git-version
-                        (string-trim
-                         (with-temp-buffer
-                           (call-process "git" nil t nil "rev-parse" "--short" "HEAD")
-                           (buffer-string)))))
-                  (insert
-                   (format "(defun org-release () \"The release version of Org.\" %S)\n" version)
-                   (format "(defun org-git-version () \"The truncate git commit hash of Org mode.\" %S)\n" git-version)
-                   "(provide 'org-version)\n")))
-                :pin nil)
     :init
     (setq org-list-allow-alphabetical t)
     :custom
     (org-startup-indented t)
+    (org-pretty-entities t)
     (org-hide-emphasis-markers t)
     (org-startup-with-inline-images t)
     (org-image-actual-width '(300))
     (org-export-with-smart-quotes t)
-    (org-latex-preview-live t)
     (org-directory "~/Nextcloud/org")
     (org-cite-global-bibliography '("~/Nextcloud/library.bib"))
     (org-agenda-files `(,org-directory))
+    (org-preview-latex-default-process 'imagemagick)
+    (org-highlight-latex-and-related '(native))
     (org-default-notes-file (mapcar (lambda (x) (concat org-directory x))
                                     '("/todo.org" "/done.org")))
     :after ox-latex
@@ -452,8 +411,7 @@ I'm using the fork as described [[https://abode.karthinks.com/org-latex-preview/
            ("C-c l" . org-store-link)
            ("C-c a" . org-agenda))
     :hook (org-mode . visual-line-mode)
-    (org-mode . flyspell-mode)
+    (org-mode . flyspell-mode))
-    (org-mode . org-latex-preview-auto-mode))
 #+end_src
 ** Prettify
 #+begin_src emacs-lisp
@@ -469,6 +427,12 @@ I'm using the fork as described [[https://abode.karthinks.com/org-latex-preview/
   (require 'oc-natbib)
   (require 'oc-biblatex)
 #+end_src
+** Org fragtog
+Once [[https://abode.karthinks.com/org-latex-preview/][the improvements to =org-latex-preview= get merged]], this will be unnecessary. For now, however, this really comes in handy.
+#+begin_src emacs-lisp
+  (use-package org-fragtog
+    :hook (org-mode . org-fragtog-mode))
+#+end_src
 * Pdfs
 ** Pdf tools
 #+begin_src emacs-lisp
@@ -498,6 +462,11 @@ I'm using the fork as described [[https://abode.karthinks.com/org-latex-preview/
   (defalias 'ff 'find-file)
   (defalias 'fo 'find-file-other-window)
   (defalias 'clear 'clear-scrollback)
+
+  (use-package exec-path-from-shell
+    :config
+    (when (daemonp)
+      (exec-path-from-shell-initialize)))
 #+end_src
 ** Dired
 #+begin_src emacs-lisp

nvim/.config/nvim/lua/plugins/languages/sml.lua

@@ -8,26 +8,22 @@ return {
             {
                 '<leader>rs',
                 [[:SMLReplStart<CR>]],
-                desc = 'SML start repl',
+                desc = 'SML start repl'
-                ft = 'sml'
             },
             {
                 '<leader>rc',
                 [[:SMLReplClear<CR>]],
-                desc = 'SML clear repl',
+                desc = 'SML clear repl'
-                ft = 'sml'
             },
             {
                 '<leader>rb',
                 [[:SMLReplBuild<CR>]],
-                desc = 'SML load current file/CM project in repl',
+                desc = 'SML load current file/CM project in repl'
-                ft = 'sml'
             },
             {
                 '<leader>ro',
                 [[:SMLReplOpen<CR>]],
-                desc = 'SML open current structure in repl',
+                desc = 'SML open current structure in repl'
-                ft = 'sml'
             },
         }
     }

scripts/.local/bin/books.sh

@@ -1,9 +1,7 @@
 #!/bin/sh
 
 prefix=$HOME/Nextcloud/Books/
-dmenu=pipemenu
-pdf="flatpak run org.gnome.Papers"
 
-choice=$(find $prefix -type f | sed "s|$prefix||;s/_/ /g" | $dmenu)
+choice=$(find $prefix -type f | sed "s|$prefix||;s/_/ /g" | fuzzel -d -w 60)
 
-test -n "$choice" && $pdf $(echo $choice | sed "s/ /_/g;s|^|$prefix|") &
+test -n "$choice" && zathura $(echo $choice | sed "s/ /_/g;s|^|$prefix|") &

scripts/.local/bin/papers.sh

@@ -1,9 +1,7 @@
 #!/bin/sh
 
 prefix=$HOME/Nextcloud/Papers/
-dmenu=pipemenu
-pdf="flatpak run org.gnome.Papers"
 
-choice=$(find $prefix -type f | sed "s|$prefix||;s/_/ /g" | $dmenu)
+choice=$(find $prefix -type f | sed "s|$prefix||;s/_/ /g" | fuzzel -d -w 60)
 
-test -n "$choice" && $pdf $(echo $choice | sed "s/ /_/g;s|^|$prefix|") &
+test -n "$choice" && zathura $(echo $choice | sed "s/ /_/g;s|^|$prefix|") &

zsh/.config/zsh/.zshrc

@@ -49,5 +49,3 @@ eval "$(zoxide init zsh)"
 
 # prompt
 eval "$(starship init zsh)"
-
-[ -f "/home/wball/.local/share/ghcup/env" ] && . "/home/wball/.local/share/ghcup/env" # ghcup-env

zsh/.zshenv

@@ -1,3 +1,2 @@
 export XDG_CONFIG_HOME="$HOME/.config"
 export ZDOTDIR="$XDG_CONFIG_HOME/zsh"
-. "/home/wball/.local/share/cargo/env"