From ffea78e98b6a9c494c0a52f59e6ad1678a6dc445 Mon Sep 17 00:00:00 2001
From: Yuchen Pei <id@ypei.org>
Date: Mon, 21 Aug 2023 16:42:27 +1000
Subject: Fixing a few things in emacs, adding xdgdef

Emacs: updating the org clock refile so that it refiles all text in
the logbook
---
 emacs/.emacs.d/init/ycp-org.el     | 6 +++---
 emacs/.emacs.d/init/ycp-package.el | 2 +-
 emacs/.emacs.d/init/ycp-prog.el    | 1 +
 emacs/.emacs.d/init/ycp-web.el     | 2 +-
 4 files changed, 6 insertions(+), 5 deletions(-)

(limited to 'emacs/.emacs.d/init')

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)
-- 
cgit v1.2.3