jonas/.hive
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Home Gen28 @ 2025-06-25-15:23 by jroeger@T14-OE130-7-ubuntu

Browse Source
This commit is contained in:
Jonas Röger 2025-06-25 15:24:06 +02:00
parent 579c8ea37a
commit b7f19ae61a
Signed by: jonas
GPG Key ID: 4000EB35E1AE0F07
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
modules/home/doom/static/config.el
View File

@ -244,6 +244,8 @@
(bash-ts-mode . lsp-deferred) (bash-ts-mode . lsp-deferred)
(json-ts-mode . lsp-deferred))) (json-ts-mode . lsp-deferred)))
(setq auto-mode-alist (cons '("\\.smt$" . smtlib-mode) auto-mode-alist))
(autoload 'smtlib-mode "smtlib" "Major mode for SMTLIB" t)
(let ((config-dir (expand-file-name "config.d" doom-user-dir))) (let ((config-dir (expand-file-name "config.d" doom-user-dir)))
(when (file-directory-p config-dir) (when (file-directory-p config-dir)

7
modules/home/doom/static/packages.el
View File

@ -62,6 +62,13 @@
:local-repo "ws-butler") :local-repo "ws-butler")
:pin "9ee5a7657a22e836618813c2e2b64a548d27d2ff") :pin "9ee5a7657a22e836618813c2e2b64a548d27d2ff")
(package! smtlib-mode
:recipe (:host github
:repo "chsticksel/smtlib-mode"
:branch "master"
:local-repo "smtlib-mode")
:pin "ed387e63b64091228e6a8a429b02b8fba165f5b5")
(package! direnv) (package! direnv)
(package! pdf-tools) (package! pdf-tools)
(package! eww) (package! eww)