arst

emacs/.config/emacs/Emacs.org

@@ -318,8 +318,8 @@ I don't really use markdown ([[Org Mode]] is a strict improvement imo), but it's
 * Languages
 ** Agda
 #+begin_src emacs-lisp
-  (load-file (let ((coding-system-for-read 'utf-8))
-                  (shell-command-to-string "agda-mode locate")))
+  ;; (load-file (let ((coding-system-for-read 'utf-8))
+  ;;                 (shell-command-to-string "agda-mode locate")))
 #+end_src
 ** PG
 #+begin_src emacs-lisp
@@ -431,8 +431,8 @@ I don't really use markdown ([[Org Mode]] is a strict improvement imo), but it's
 ** Org itself
 I use [[https://abode.karthinks.com/org-latex-preview/][this]] fork of org-mode in order to have amazing latex previews. /Make sure to follow the installation instructions!/ It's supposed to eventually be merged into org proper, which is very exciting. I'm already pretty dependent on this feature (the previews are just that good), so I'll have to use this until it gets merged, but that's fine with me.
 #+begin_src emacs-lisp
-  (use-package org
-    :load-path "~/.config/emacs/elpa/org-mode/lisp"
+  (use-package org-mode
+    :load-path "~/dotfiles/emacs/.config/emacs/elpa/org-mode/lisp/"
     :init
     (setq org-list-allow-alphabetical t)
     :custom

fish/.config/fish/conf.d/rustup.fish

@@ -0,0 +1 @@
+source "/home/wball/.local/share/cargo/env.fish"

git/.config/git/config

@@ -10,14 +10,11 @@
 [user]
 	email = williampi103@gmail.com
 	name = William Ball
-	signingkey = ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIN1+L+FGfBwH/ufLzj9V6+39K+Vad7s5zUZooqGvrAAi
+	signingkey = ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMWWWTzqhrQMjtEjbhfc43RMRJABlxSDgn2FdTW6TlUu wball@perga
 
 [gpg]
     format = ssh
 
-[gpg "ssh"]
-    program = "/opt/1Password/op-ssh-sign"
-
 [commit]
 	gpgSign = true
 

ssh/.ssh/config

@@ -8,6 +8,3 @@ Host server
     User wball
     Hostname ballcloud.cc
     IdentityFile ~/.ssh/perga
-
-Host *
-  IdentityAgent ~/.1password/agent.sock