From 9f16845044caa0a11f8de97b797bcd753578916f Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Fri, 10 Apr 2020 11:06:16 -0700
Subject: Updated bash config, emacs tweaks

---
 emacs/inits/11-selectrum.el | 12 +-----------
 emacs/inits/25-theorems.el  | 16 ++++++++--------
 emacs/inits/30-irc.el       |  4 ++--
 3 files changed, 11 insertions(+), 21 deletions(-)

(limited to 'emacs')

diff --git a/emacs/inits/11-selectrum.el b/emacs/inits/11-selectrum.el
index d7aaab2..b8653c5 100644
--- a/emacs/inits/11-selectrum.el
+++ b/emacs/inits/11-selectrum.el
@@ -1,15 +1,9 @@
-;; Time-stamp: <2020-03-31 09:11:15 (tslil@bison)>
+;; Time-stamp: <2020-04-10 11:05:31 (tslil@bison)>
 
 (use-package deadgrep
   :ensure t
   :bind (("C-c g" . deadgrep)))
 
-(use-package quelpa
-  :ensure t
-  :init (setq quelpa-update-melpa-p nil))
-
-(quelpa '(selectrum :fetcher git :url "https://github.com/raxod502/selectrum.git"))
-
 (defun selectrum-recentf ()
   (interactive)
   (find-file (completing-read "Recent file: " recentf-list nil t)))
@@ -27,8 +21,6 @@
         selectrum-count-style 'matches)
   (selectrum-mode +1))
 
-(quelpa '(selectrum-prescient :fetcher git :url "https://github.com/raxod502/prescient.git"))
-
 (use-package prescient
   :ensure t)
 
@@ -38,8 +30,6 @@
   (selectrum-prescient-mode +1)
   (prescient-persist-mode +1))
 
-;; (quelpa '(ctrlf :fetcher git :url "https://github.com/raxod502/ctrlf.git"))
-
 ;; (use-package ctrlf
 ;;   :ensure t
 ;;   :config (ctrlf-mode +1))
diff --git a/emacs/inits/25-theorems.el b/emacs/inits/25-theorems.el
index e45648a..990f758 100644
--- a/emacs/inits/25-theorems.el
+++ b/emacs/inits/25-theorems.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2020-01-28 15:23:07 (tslil@bison)>
+;; Time-stamp: <2020-04-04 09:04:22 (tslil@bison)>
 
 ;; -----------------------------------------------------------------------------
 ;; Coq
@@ -142,14 +142,14 @@
 ;; -----------------------------------------------------------------------------
 ;; Agda
 
-(load-file (let ((coding-system-for-read 'utf-8))
-             (shell-command-to-string "agda-mode locate")))
+;; (load-file (let ((coding-system-for-read 'utf-8))
+;;              (shell-command-to-string "agda-mode locate")))
 
-(add-hook 'agda2-mode
-          (lambda ()
-            (subword-mode 1)
-            (auto-fill-mode)
-            (aggressive-indent-mode -1)))
+;; (add-hook 'agda2-mode
+;;           (lambda ()
+;;             (subword-mode 1)
+;;             (auto-fill-mode)
+;;             (aggressive-indent-mode -1)))
 
 ;; -----------------------------------------------------------------------------
 ;; Lean
diff --git a/emacs/inits/30-irc.el b/emacs/inits/30-irc.el
index 0bb43ab..e0262ee 100644
--- a/emacs/inits/30-irc.el
+++ b/emacs/inits/30-irc.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2020-03-17 16:18:09 (tslil@bison)>
+;; Time-stamp: <2020-04-10 10:57:41 (tslil@bison)>
 
 (use-package rcirc
   :ensure t
@@ -34,7 +34,7 @@
         rcirc-default-nick "maximum_yellow"
         rcirc-default-user-name "maximum_yellow"
         rcirc-time-format "%Y-%m-%d %H:%M "
-        rcirc-log-directory "~/irc/"
+        rcirc-log-directory "~/logs/irc/"
         rcirc-fill-column 80
         rcirc-log-flag t
         rcirc-server-alist nil
-- 
cgit v1.2.3