lots of tweaks to emacs config

This commit is contained in:
William Ball 2025-08-11 19:19:04 -07:00
parent 8a1c7daa34
commit d68d670234
Signed by: wball
GPG key ID: B8682D8137B70765

View file

@ -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\">&larr; Back to Blog Index</a></div>")
("tok" "<div class=\"blog-header\"><a href=\"index.html\">&larr; 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