Compare commits

..

3 commits

Author SHA1 Message Date
d68d670234
lots of tweaks to emacs config 2025-08-11 19:19:04 -07:00
8a1c7daa34
get rid of opam 2025-08-11 19:18:41 -07:00
bec4352a7e
shortcuts for connecting to headphones 2025-08-11 19:18:23 -07:00
4 changed files with 56 additions and 42 deletions

View file

@ -314,6 +314,12 @@
(idris-interpreter-path "idris2")) (idris-interpreter-path "idris2"))
#+end_src #+end_src
#+begin_src emacs-lisp
(with-eval-after-load 'eglot
(add-to-list 'eglot-server-programs
'(idris-mode . ("idris2-lsp"))))
#+end_src
** Haskell ** Haskell
#+begin_src emacs-lisp #+begin_src emacs-lisp
(use-package haskell-mode) (use-package haskell-mode)
@ -334,17 +340,17 @@
(use-package eglot (use-package eglot
:straight (:type built-in) :straight (:type built-in)
:bind (:map eglot-mode-map :bind (:map eglot-mode-map
("C-c C-l r" . eglot-rename) ("C-c l r" . eglot-rename)
("C-c C-l f" . eglot-format-buffer) ("C-c l f" . eglot-format-buffer)
("C-c C-l a" . eglot-code-actions) ("C-c l a" . eglot-code-actions)
("C-c C-l q" . eglot-code-action-quickfix) ("C-c l q" . eglot-code-action-quickfix)
("C-c C-l d" . xref-find-definitions) ("C-c l d" . xref-find-definitions)
("C-c C-l i" . eglot-find-implementation) ("C-c l i" . eglot-find-implementation)
("C-c C-l t" . eglot-find-type-definition) ("C-c l t" . eglot-find-type-definition)
("C-c C-l s" . xref-find-references) ("C-c l s" . xref-find-references)
("C-c C-l h" . eldoc) ("C-c l h" . eldoc)
("C-c C-l R" . eglot-restart-process) ("C-c l R" . eglot-restart-process)
("C-c C-l e" . eglot-errors-at-point)) ("C-c l e" . eglot-errors-at-point))
(:map flymake-mode-map (:map flymake-mode-map
("M-n" . flymake-goto-next-error) ("M-n" . flymake-goto-next-error)
("M-p" . flymake-goto-prev-error))) ("M-p" . flymake-goto-prev-error)))
@ -509,7 +515,7 @@ I'm using the fork as described [[https://abode.karthinks.com/org-latex-preview/
(add-to-list 'org-export-dictionary (add-to-list 'org-export-dictionary
'("Author" ("tok" :default "jan toki"))) '("Author" ("tok" :default "jan toki")))
(add-to-list 'org-export-dictionary (add-to-list 'org-export-dictionary
'("Table of Contents" ("tok" :default "ni li lon lipu ni:"))) '("Table of Contents" ("tok" :default "ni li lon lipu ni::")))
(add-to-list 'org-export-dictionary (add-to-list 'org-export-dictionary
'("Created" ("tok" :default "mi pali e ni lon tenpo")))) '("Created" ("tok" :default "mi pali e ni lon tenpo"))))
#+end_src #+end_src
@ -521,34 +527,48 @@ I'm using the fork as described [[https://abode.karthinks.com/org-latex-preview/
#+end_src #+end_src
** Org Bloggy stuff ** Org Bloggy stuff
#+begin_src emacs-lisp #+begin_src emacs-lisp
(defconst my-blog-org-dir "~/repos/blog/org/")
(defconst my-blog-public-dir "~/repos/blog/html")
(setq org-publish-project-alist (setq org-publish-project-alist
`(("my-logic-blog" `(("org-posts"
:base-directory ,my-blog-org-dir :base-directory "~/repos/blog/posts/"
:publishing-directory ,my-blog-public-dir :publishing-directory "/ssh:wball@ballcloud.cc:~/blog/"
:base-extension "org" :base-extension "org"
:recursive t :recursive t
:publishing-function org-html-publish-to-html :publishing-function org-html-publish-to-html
:author "William Ball"
:language "en"
:auto-sitemap t :auto-sitemap t
:sitemap-filename "index.org" :sitemap-filename "archive.org"
:sitemap-title "William's Blog" :sitemap-title "Archive"
:sitemap-style list :sitemap-style list
:html-head "<link rel=\"stylesheet\" href=\"/style.css\" type=\"text/css\"/>" :sitemap-sort-files anti-chronologically
:html-preamble t :html-head "<link rel=\"stylesheet\" href=\"/static/style.css\" type=\"text/css\"/><link rel=\"icon\" href=\"static/favicon.ico\"/>"
:html-preamble-format (("en" "<div class=\"blog-header\"><a href=\"index.html\">&larr; Back to Blog Index</a></div>") :html-preamble t
("tok" "<div class=\"blog-header\"><a href=\"index.html\">&larr; o tawa monsi</a></div>")) :html-preamble-format (("en" "<div class=\"blog-header\"><a href=\"archive.html\">Post Archive</a></div>")
("tok" "<div class=\"blog-header\"><a href=\"archive.html\">toki ante</a></div>"))
) )
("org-static"
:base-directory "~/repos/blog/static/"
:publishing-directory "/ssh:wball@ballcloud.cc:~/blog/static/"
:publishing-directory "~/repos/blog/public_html/static/"
:base-extension "ico\\|ttf\\|css"
:publishing-function org-publish-attachment
:recursive t
)
("org-media"
:base-directory "~/repos/blog/media/"
:publishing-directory "/ssh:wball@ballcloud.cc:~/blog/media/"
:base-extension "png\\|svg\\|pdf\\|mp4\\|mp3\\|ogg"
:publishing-function org-publish-attachment
:recursive t
)
("org" :components ("org-posts" "org-static" "org-media"))
))
("my-logic-blog-static" (use-package htmlize)
:base-directory ,my-blog-org-dir #+end_src
:publishing-directory ,my-blog-public-dir ** Simple http server
:base-extension "css\\|js\\|png\\|jpg\\|jpeg\\|gif\\|svg\\|ico\\|mp4" #+begin_src emacs-lisp
:recursive t (use-package simple-httpd)
:publishing-function org-publish-attachment
:exclude ".*\\.org$"
)))
#+end_src #+end_src
* Pdfs * Pdfs
** Pdf tools ** Pdf tools

View file

@ -68,12 +68,3 @@ set -x AGDA_DIR $HOME/.config/agda
set -x PACK_DIR $HOME/.local/share/pack set -x PACK_DIR $HOME/.local/share/pack
set -x MIZFILES $HOME/.local/share/mizar set -x MIZFILES $HOME/.local/share/mizar
set -x RLWRAP_HOME $XDG_DATA_HOME/rlwrap set -x RLWRAP_HOME $XDG_DATA_HOME/rlwrap
# BEGIN opam configuration
# This is useful if you're using opam as it adds:
# - the correct directories to the PATH
# - auto-completion for the opam binary
# This section can be safely removed at any time if needed.
test -r '/home/wball/.opam/opam-init/init.fish' && source '/home/wball/.opam/opam-init/init.fish' > /dev/null 2> /dev/null; or true
# END opam configuration

View file

@ -1,7 +1,7 @@
# This file contains fish universal variable definitions. # This file contains fish universal variable definitions.
# VERSION: 3.0 # VERSION: 3.0
SETUVAR --export FZF_DEFAULT_OPTS:\x2d\x2dcolor\x3dbg\x2b\x3a\x23313244\x2cbg\x3a\x231e1e2e\x2cspinner\x3a\x23f5e0dc\x2chl\x3a\x23f38ba8\x20\x2d\x2dcolor\x3dfg\x3a\x23cdd6f4\x2cheader\x3a\x23f38ba8\x2cinfo\x3a\x23cba6f7\x2cpointer\x3a\x23f5e0dc\x20\x2d\x2dcolor\x3dmarker\x3a\x23f5e0dc\x2cfg\x2b\x3a\x23cdd6f4\x2cprompt\x3a\x23cba6f7\x2chl\x2b\x3a\x23f38ba8 SETUVAR --export FZF_DEFAULT_OPTS:\x2d\x2dcolor\x3dbg\x2b\x3a\x23313244\x2cbg\x3a\x231e1e2e\x2cspinner\x3a\x23f5e0dc\x2chl\x3a\x23f38ba8\x20\x2d\x2dcolor\x3dfg\x3a\x23cdd6f4\x2cheader\x3a\x23f38ba8\x2cinfo\x3a\x23cba6f7\x2cpointer\x3a\x23f5e0dc\x20\x2d\x2dcolor\x3dmarker\x3a\x23f5e0dc\x2cfg\x2b\x3a\x23cdd6f4\x2cprompt\x3a\x23cba6f7\x2chl\x2b\x3a\x23f38ba8
SETUVAR --export GPG_TTY:not\x20a\x20tty SETUVAR --export GPG_TTY:/dev/pts/0
SETUVAR --export SSH_AGENT_PID:786479 SETUVAR --export SSH_AGENT_PID:786479
SETUVAR --export SSH_AUTH_SOCK:/tmp/ssh\x2dXXXXXXkRTHwG/agent\x2e786475 SETUVAR --export SSH_AUTH_SOCK:/tmp/ssh\x2dXXXXXXkRTHwG/agent\x2e786475
SETUVAR ZO_CMD:zo SETUVAR ZO_CMD:zo

View file

@ -95,6 +95,9 @@ binds {
Mod+Semicolon hotkey-overlay-title="Run an Application: bemenu" { spawn "bemenu-run"; } Mod+Semicolon hotkey-overlay-title="Run an Application: bemenu" { spawn "bemenu-run"; }
Mod+Ctrl+O hotkey-overlay-title="Lock the Screen: swaylock" { spawn "swaylock"; } Mod+Ctrl+O hotkey-overlay-title="Lock the Screen: swaylock" { spawn "swaylock"; }
Mod+B { spawn "bluetoothctl" "connect" "88:C9:E8:D7:60:85"; }
Mod+Shift+B { spawn "bluetoothctl" "disconnect" "88:C9:E8:D7:60:85"; }
Mod+E { spawn "emacsclient" "--create-frame" "-a" "emacs"; } Mod+E { spawn "emacsclient" "--create-frame" "-a" "emacs"; }
XF86AudioRaiseVolume allow-when-locked=true { spawn "sh" "-c" "~/.config/niri/volume.sh up"; } XF86AudioRaiseVolume allow-when-locked=true { spawn "sh" "-c" "~/.config/niri/volume.sh up"; }