diff options
author | Yuchen Pei <id@ypei.org> | 2023-08-21 16:42:27 +1000 |
---|---|---|
committer | Yuchen Pei <id@ypei.org> | 2023-08-21 16:42:27 +1000 |
commit | ffea78e98b6a9c494c0a52f59e6ad1678a6dc445 (patch) | |
tree | 8e09859b1e23e71391e83b45c97bc8b5dfbf2da6 /emacs/.emacs.d/init | |
parent | 0c844c3e9a8e72bd83e370c12eda5cb315ac5d41 (diff) |
Fixing a few things in emacs, adding xdgdef
Emacs: updating the org clock refile so that it refiles all text in
the logbook
Diffstat (limited to 'emacs/.emacs.d/init')
-rw-r--r-- | emacs/.emacs.d/init/ycp-org.el | 6 | ||||
-rw-r--r-- | emacs/.emacs.d/init/ycp-package.el | 2 | ||||
-rw-r--r-- | emacs/.emacs.d/init/ycp-prog.el | 1 | ||||
-rw-r--r-- | emacs/.emacs.d/init/ycp-web.el | 2 |
4 files changed, 6 insertions, 5 deletions
diff --git a/emacs/.emacs.d/init/ycp-org.el b/emacs/.emacs.d/init/ycp-org.el index 9c9191a..d18b9f6 100644 --- a/emacs/.emacs.d/init/ycp-org.el +++ b/emacs/.emacs.d/init/ycp-org.el @@ -70,8 +70,8 @@ (setq org-modules '(ol-bbdb ol-gnus ol-info)) (setq org-use-sub-superscripts '{}) (setq org-todo-keywords - '((sequence "TODO(t!)" "DOIN(i!)" "WAIT(w!)" "|" - "DONE(d!)" "OBSO(o!)" "DUPL(u!)"))) + '((sequence "TODO(t)" "DOIN(i)" "WAIT(w)" "|" + "DONE(d)" "OBSO(o)" "DUPL(u)"))) (setq org-enforce-todo-dependencies t org-enforce-todo-checkbox-dependencies t) (setq org-use-fast-todo-selection 'expert) @@ -297,7 +297,7 @@ (setq org-speed-commands '(("User commands") ("g" . org-delete-property) - ("W" . my-org-clock-refile-clocking) + ("W" . my-org-refile-logbook) ("+" . my-org-vote-up) ("-" . my-org-vote-down) ("m" . my-magit-clone-org-source) diff --git a/emacs/.emacs.d/init/ycp-package.el b/emacs/.emacs.d/init/ycp-package.el index ff0d498..3662b53 100644 --- a/emacs/.emacs.d/init/ycp-package.el +++ b/emacs/.emacs.d/init/ycp-package.el @@ -41,7 +41,7 @@ (t (setq my-omit-packages '(typescript-mode tide web-mode flycheck ggtags crystal-mode - proof-general sml-mode emms my-emms erc mastodon)))) + sml-mode emms my-emms erc mastodon)))) (my-read-local-config) ;; only start server on default profile diff --git a/emacs/.emacs.d/init/ycp-prog.el b/emacs/.emacs.d/init/ycp-prog.el index 7dc2f92..84ac0d2 100644 --- a/emacs/.emacs.d/init/ycp-prog.el +++ b/emacs/.emacs.d/init/ycp-prog.el @@ -435,6 +435,7 @@ (my-package proof-general (:install t) (:delay 60) + (setq proof-splash-enable nil) (setq coq-prog-name "/usr/bin/coqtop") (setq coq-compiler "~/.opam/default/bin/coqc") (setq coq-prog-env '("PATH=/usr/bin/:$HOME/.opam/default/bin/")) diff --git a/emacs/.emacs.d/init/ycp-web.el b/emacs/.emacs.d/init/ycp-web.el index 5834971..5c96e43 100644 --- a/emacs/.emacs.d/init/ycp-web.el +++ b/emacs/.emacs.d/init/ycp-web.el @@ -97,7 +97,7 @@ (advice-add 'eww-browse-url :filter-args #'my-rewrite-url-advice) (advice-add 'eww :filter-args #'my-rewrite-url-advice) (setq eww-restore-desktop t) - (require 'my-util) + (require 'my-utils) (setq eww-download-directory my-incoming-dir) (setq eww-bookmarks-directory (locate-user-emacs-file "eww-bookmarks")) (setq eww-history-limit 150) |