Compare commits
3 commits
0e74713103
...
d68d670234
| Author | SHA1 | Date | |
|---|---|---|---|
| d68d670234 | |||
| 8a1c7daa34 | |||
| bec4352a7e |
4 changed files with 56 additions and 42 deletions
|
|
@ -314,6 +314,12 @@
|
|||
(idris-interpreter-path "idris2"))
|
||||
#+end_src
|
||||
|
||||
#+begin_src emacs-lisp
|
||||
(with-eval-after-load 'eglot
|
||||
(add-to-list 'eglot-server-programs
|
||||
'(idris-mode . ("idris2-lsp"))))
|
||||
#+end_src
|
||||
|
||||
** Haskell
|
||||
#+begin_src emacs-lisp
|
||||
(use-package haskell-mode)
|
||||
|
|
@ -334,17 +340,17 @@
|
|||
(use-package eglot
|
||||
:straight (:type built-in)
|
||||
:bind (:map eglot-mode-map
|
||||
("C-c C-l r" . eglot-rename)
|
||||
("C-c C-l f" . eglot-format-buffer)
|
||||
("C-c C-l a" . eglot-code-actions)
|
||||
("C-c C-l q" . eglot-code-action-quickfix)
|
||||
("C-c C-l d" . xref-find-definitions)
|
||||
("C-c C-l i" . eglot-find-implementation)
|
||||
("C-c C-l t" . eglot-find-type-definition)
|
||||
("C-c C-l s" . xref-find-references)
|
||||
("C-c C-l h" . eldoc)
|
||||
("C-c C-l R" . eglot-restart-process)
|
||||
("C-c C-l e" . eglot-errors-at-point))
|
||||
("C-c l r" . eglot-rename)
|
||||
("C-c l f" . eglot-format-buffer)
|
||||
("C-c l a" . eglot-code-actions)
|
||||
("C-c l q" . eglot-code-action-quickfix)
|
||||
("C-c l d" . xref-find-definitions)
|
||||
("C-c l i" . eglot-find-implementation)
|
||||
("C-c l t" . eglot-find-type-definition)
|
||||
("C-c l s" . xref-find-references)
|
||||
("C-c l h" . eldoc)
|
||||
("C-c l R" . eglot-restart-process)
|
||||
("C-c l e" . eglot-errors-at-point))
|
||||
(:map flymake-mode-map
|
||||
("M-n" . flymake-goto-next-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
|
||||
'("Author" ("tok" :default "jan toki")))
|
||||
(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
|
||||
'("Created" ("tok" :default "mi pali e ni lon tenpo"))))
|
||||
#+end_src
|
||||
|
|
@ -521,34 +527,48 @@ I'm using the fork as described [[https://abode.karthinks.com/org-latex-preview/
|
|||
#+end_src
|
||||
** Org Bloggy stuff
|
||||
#+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
|
||||
`(("my-logic-blog"
|
||||
:base-directory ,my-blog-org-dir
|
||||
:publishing-directory ,my-blog-public-dir
|
||||
`(("org-posts"
|
||||
:base-directory "~/repos/blog/posts/"
|
||||
:publishing-directory "/ssh:wball@ballcloud.cc:~/blog/"
|
||||
:base-extension "org"
|
||||
:recursive t
|
||||
:publishing-function org-html-publish-to-html
|
||||
:author "William Ball"
|
||||
:language "en"
|
||||
:auto-sitemap t
|
||||
:sitemap-filename "index.org"
|
||||
:sitemap-title "William's Blog"
|
||||
:sitemap-filename "archive.org"
|
||||
:sitemap-title "Archive"
|
||||
:sitemap-style list
|
||||
:html-head "<link rel=\"stylesheet\" href=\"/style.css\" type=\"text/css\"/>"
|
||||
:html-preamble t
|
||||
:html-preamble-format (("en" "<div class=\"blog-header\"><a href=\"index.html\">← Back to Blog Index</a></div>")
|
||||
("tok" "<div class=\"blog-header\"><a href=\"index.html\">← o tawa monsi</a></div>"))
|
||||
:sitemap-sort-files anti-chronologically
|
||||
:html-head "<link rel=\"stylesheet\" href=\"/static/style.css\" type=\"text/css\"/><link rel=\"icon\" href=\"static/favicon.ico\"/>"
|
||||
:html-preamble t
|
||||
: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"
|
||||
:base-directory ,my-blog-org-dir
|
||||
:publishing-directory ,my-blog-public-dir
|
||||
:base-extension "css\\|js\\|png\\|jpg\\|jpeg\\|gif\\|svg\\|ico\\|mp4"
|
||||
:recursive t
|
||||
:publishing-function org-publish-attachment
|
||||
:exclude ".*\\.org$"
|
||||
)))
|
||||
(use-package htmlize)
|
||||
#+end_src
|
||||
** Simple http server
|
||||
#+begin_src emacs-lisp
|
||||
(use-package simple-httpd)
|
||||
#+end_src
|
||||
* Pdfs
|
||||
** Pdf tools
|
||||
|
|
|
|||
|
|
@ -68,12 +68,3 @@ set -x AGDA_DIR $HOME/.config/agda
|
|||
set -x PACK_DIR $HOME/.local/share/pack
|
||||
set -x MIZFILES $HOME/.local/share/mizar
|
||||
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
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
# This file contains fish universal variable definitions.
|
||||
# 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 GPG_TTY:not\x20a\x20tty
|
||||
SETUVAR --export GPG_TTY:/dev/pts/0
|
||||
SETUVAR --export SSH_AGENT_PID:786479
|
||||
SETUVAR --export SSH_AUTH_SOCK:/tmp/ssh\x2dXXXXXXkRTHwG/agent\x2e786475
|
||||
SETUVAR ZO_CMD:zo
|
||||
|
|
|
|||
|
|
@ -95,6 +95,9 @@ binds {
|
|||
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+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"; }
|
||||
|
||||
XF86AudioRaiseVolume allow-when-locked=true { spawn "sh" "-c" "~/.config/niri/volume.sh up"; }
|
||||
|
|
|
|||
Loading…
Reference in a new issue