Changes from bison

17 files changed, 215 insertions, 175 deletions

diff --git a/emacs/inits/00-exwm.el b/emacs/inits/00-exwm.el
index 2b19e6a..c05c2dd 100644
--- a/emacs/inits/00-exwm.el
+++ b/emacs/inits/00-exwm.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2019-11-02 20:29:06 (tslil@basingstoke)>
+;; Time-stamp: <2020-03-24 10:11:51 (tslil@bison)>
 
 (defun adjust-volume (mixer adjust)
   (let ((tail " | tail -n 1")
@@ -16,7 +16,7 @@
 
 (defun banish-rat ()
   (interactive)
-  (shell-command "xdotool mousemove 1366 768")
+  (shell-command "xdotool mousemove 1280 800")
   (message "Rat banished."))
 
 (use-package exwm
@@ -50,6 +50,22 @@
           ;;([?\C-k] . [S-end delete])
           ))
 
+  ;; IME
+  (defvar exwm-workman-intl t)
+  (defun exwm-toggle-intl-ime ()
+    (interactive)
+    (let ((result (call-process-shell-command
+                   (concat "setxkbmap -layout us -variant workman"
+                           (if exwm-workman-intl "-intl" "")
+                           " -option terminate:ctrl_alt_bksp -option ctrl:nocaps"))))
+      (if (not (= 0 result))
+          (message "Unable to switch keyboard layouts.")
+        (message (concat (if exwm-workman-intl "INTERNATIONAL" "STANDARD") " layout selected."))
+        (setq exwm-workman-intl (not exwm-workman-intl)))))
+
+  (exwm-input-set-key (kbd "s-i") 'exwm-toggle-intl-ime)
+
+
   ;; reset
   (exwm-input-set-key (kbd "s-r") 'exwm-reset)
 
@@ -80,7 +96,6 @@
   (exwm-input-set-key (kbd "s-o") 'exwm-last-buffer)
   (exwm-input-set-key (kbd "s-\\") 'exwm-last-workspace)
 
-
   (exwm-input-set-key (kbd "s-b") 'banish-rat)
 
   ;; run command
@@ -89,54 +104,45 @@
                                     (start-process "" nil "st")))
   (exwm-input-set-key (kbd "s-q") (lambda ()
                                     (interactive)
-                                    (start-process "" nil "firefox-esr")))
+                                    (start-process "" nil "iceweasel")))
   (exwm-input-set-key (kbd "s-<f2>") (lambda ()
                                        (interactive)
                                        (start-process "" nil "lock")))
   (exwm-input-set-key (kbd "s-p") (lambda (command)
                                     (interactive (list (read-shell-command "$ ")))
                                     (start-process-shell-command command nil command)))
+
   ;; Volume
-  (exwm-input-set-key (kbd "s-<f10>")
+  (exwm-input-set-key (kbd "<XF86AudioRaiseVolume>")
                       (lambda ()
                         (interactive)
-                        (adjust-volume "Speaker" "+")))
+                        (adjust-volume "Master" "+")))
 
-  (exwm-input-set-key (kbd "s-<f9>")
+  (exwm-input-set-key (kbd "<XF86AudioLowerVolume>")
                       (lambda ()
                         (interactive)
-                        (adjust-volume "Speaker" "-")))
+                        (adjust-volume "Master" "-")))
 
-  (exwm-input-set-key (kbd "s-<f8>")
+  (exwm-input-set-key (kbd "<XF86Launch1>")
                       (lambda ()
                         (interactive)
-                        (adjust-volume "Speaker" "toggle")))
+                        (adjust-volume "Master" "toggle")))
 
-  (exwm-input-set-key (kbd "C-s-<f10>")
+  (exwm-input-set-key (kbd "S-<XF86AudioRaiseVolume>")
                       (lambda ()
                         (interactive)
                         (adjust-volume "Headphone" "+")))
 
-  (exwm-input-set-key (kbd "C-s-<f9>")
+  (exwm-input-set-key (kbd "S-<XF86AudioLowerVolume>")
                       (lambda ()
                         (interactive)
                         (adjust-volume "Headphone" "-")))
 
-  (exwm-input-set-key (kbd "C-s-<f8>")
+  (exwm-input-set-key (kbd "S-<XF86Launch1>")
                       (lambda ()
                         (interactive)
                         (adjust-volume "Headphone" "toggle")))
 
-  (exwm-input-set-key (kbd "s-<f7>") (lambda ()
-                                       (interactive)
-                                       (shell-command "$HOME/bin/backlight_up.sh")
-                                       (message "Backlight up.")))
-
-  (exwm-input-set-key (kbd "s-<f6>") (lambda ()
-                                       (interactive)
-                                       (shell-command "$HOME/bin/backlight_down.sh")
-                                       (message "Backlight down.")))
-
   ;; -------------------------------------------------------------------
   ;; RandR
 
@@ -144,7 +150,7 @@
   (exwm-randr-enable)
 
   (setq exwm-randr-workspace-monitor-plist
-        '(1 "HDMI-1" 0 "eDP-1"))
+        '(1 "LVDS1" 0 "VGA1"))
 
   (exwm-enable))
 
diff --git a/emacs/inits/01-basic.el b/emacs/inits/01-basic.el
index 43ea233..8128ccf 100644
--- a/emacs/inits/01-basic.el
+++ b/emacs/inits/01-basic.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2019-10-20 22:15:45 (tslil@basingstoke)>
+;; Time-stamp: <2020-03-18 18:37:35 (tslil@bison)>
 
 ;; -----------------------------------------------------------------------------
 ;; Interface
@@ -39,8 +39,9 @@
 
 (add-to-list 'custom-theme-load-path "~/.emacs.d/themes/")
 (when (eq 'x (window-system))
-  (load-theme 'zenburn t)
-  (set-face-attribute 'default nil :font "Sudo-15"))
+  (load-theme 'modus-operandi t)
+  (set-face-attribute 'region nil :background "orange")
+  (set-face-attribute 'default nil :font "Iosevka-13"))
 
 (set-fringe-style 0)
 ;; (set-fringe-mode 128)
@@ -77,8 +78,10 @@
 
 (setq enable-dir-local-variables nil)
 
+(setq shell-file-name "bash")
+
 ;; -----------------------------------------------------------------------------
-;; Packages
+;; Basic packages
 
 (use-package recentf
   :demand t
@@ -93,10 +96,10 @@
 (require 'saveplace)
 (save-place-mode)
 
-(use-package undo-tree
-  :ensure t
-  :config (setq undo-tree-visualizer-timestamps t)
-  (global-undo-tree-mode 1))
+;; (use-package undo-tree
+;;   :ensure t
+;;   :config (setq undo-tree-visualizer-timestamps t)
+;;   (global-undo-tree-mode 1))
 
 (use-package keyfreq
   :ensure t
diff --git a/emacs/inits/02-modeline.el b/emacs/inits/02-modeline.el
index 58b2cd1..f362af1 100644
--- a/emacs/inits/02-modeline.el
+++ b/emacs/inits/02-modeline.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2019-08-13 14:43:24 (tslil@basingstoke)>
+;; Time-stamp: <2020-03-24 10:15:48 (tslil@bison)>
 
 ;; -----------------------------------------------------------------------------
 ;; Battery status and CPU temperature
@@ -7,27 +7,7 @@
 (defvar sys-status-cpu-temp-threshold "45")
 
 (defun linux-sys-status ()
-  (let ((bat-s (if (not (file-exists-p "/sys/class/power_supply/sbs-20-000b/uevent")) ""
-                 (with-temp-buffer
-                   (insert-file-contents "/sys/class/power_supply/sbs-20-000b/uevent")
-                   (re-search-forward "POWER_SUPPLY_STATUS=\\(Discharging\\|Charging\\|Full\\)")
-                   (let ((status (match-string 1)))
-                     (if (string-equal "Full" status) "Full"
-                       (let* ((perc (progn
-                                      (re-search-forward "POWER_SUPPLY_CAPACITY=\\([0-9]+\\)")
-                                      (match-string 1)))
-                              (field (concat "POWER_SUPPLY_TIME_TO_"
-                                             (if (string-equal "Discharging" status)
-                                                 "EMPTY" "FULL")
-                                             "_AVG=\\([0-9]+\\)"))
-                              (seconds (progn
-                                         (re-search-forward field)
-                                         (string-to-number (match-string 1))))
-                              (hours (/ seconds 3600))
-                              (minutes (/ (- seconds (* hours 3600)) 60)))
-                         (format "%s%s%% %dh%dm"
-                                 (substring status 0 1)
-                                 perc hours minutes)))))))
+  (let ((bat-s (string-trim (shell-command-to-string "~/bin/battery")))
         (temp-s (if (not (file-exists-p "/sys/class/thermal/thermal_zone1/temp")) ""
                   (with-temp-buffer
                     (insert-file-contents "/sys/class/thermal/thermal_zone1/temp")
diff --git a/emacs/inits/03-miscload.el b/emacs/inits/03-miscload.el
index 3047465..dc483be 100644
--- a/emacs/inits/03-miscload.el
+++ b/emacs/inits/03-miscload.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2019-09-11 11:28:17 (tslil@basingstoke)>
+;; Time-stamp: <2019-12-12 10:31:44 (tslil@bison)>
 
 ;;(add-to-list 'load-path (expand-file-name "~/.emacs.d/scripts/"))
 
@@ -9,6 +9,9 @@
 ;;   :defer t
 ;;   :load-path "/home/tslil/.emacs.d/scripts/siege-mode/siege-mode.el")
 
-(use-package imaxima
+(use-package maxima
   :defer t
   :config (setq imaxima-use-maxima-mode-flag t))
+
+(use-package notmuch
+  :defer t)
diff --git a/emacs/inits/04-input_method.el b/emacs/inits/04-input_method.el
index b463ff6..fff167c 100644
--- a/emacs/inits/04-input_method.el
+++ b/emacs/inits/04-input_method.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2019-09-11 11:26:28 (tslil@basingstoke)>
+;; Time-stamp: <2019-09-11 20:37:56 (tslil@bison)>
 
 (use-package agda-input
   :load-path "~/.emacs.d/scripts/"
@@ -7,6 +7,7 @@
                  ("==>" "⟹")
                  ("amalg" "⨿")
                  ("bG" "𝔾")
+                 ("bB" "𝔹")
                  ("bU" "𝕌")))
     (add-to-list 'agda-input-user-translations sym))
   (agda-input-setup))
diff --git a/emacs/inits/11-selectrum.el b/emacs/inits/11-selectrum.el
index f6e43bb..c8c9470 100644
--- a/emacs/inits/11-selectrum.el
+++ b/emacs/inits/11-selectrum.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2020-03-03 13:47:30 (tslil@bison)>
+;; Time-stamp: <2020-03-04 21:49:27 (tslil@bison)>
 
 (use-package deadgrep
   :ensure t
@@ -17,12 +17,14 @@
 (defun selectrum-yank ()
   (interactive)
   (let ((selectrum-should-sort-p nil))
-    (insert (completing-read "Yank: " kill-ring-yank-pointer nil t))))
+    (insert (selectrum-completing-read "Yank: " (delete-duplicates kill-ring :test #'equal) nil t))))
 
 (use-package selectrum
   :bind (("C-x f" . selectrum-recentf)
          ("M-y" . selectrum-yank))
   :config
+  (setq selectrum-num-candidates-displayed 7
+        selectrum-count-style 'matches)
   (selectrum-mode +1))
 
 (use-package prescient
diff --git a/emacs/inits/13-ibuffer.el b/emacs/inits/13-ibuffer.el
index f88657a..ffcdedb 100644
--- a/emacs/inits/13-ibuffer.el
+++ b/emacs/inits/13-ibuffer.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2019-12-01 09:47:08 (tslil@basingstoke)>
+;; Time-stamp: <2020-01-11 15:47:15 (tslil@bison)>
 
 (use-package ibuffer
   :bind (("C-x C-b" . ibuffer))
diff --git a/emacs/inits/14-movement.el b/emacs/inits/14-movement.el
index a1b27f6..0e5b1b7 100644
--- a/emacs/inits/14-movement.el
+++ b/emacs/inits/14-movement.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2019-08-14 11:59:46 (tslil@basingstoke)>
+;; Time-stamp: <2020-01-18 20:07:14 (tslil@bison)>
 
 ;; (eval-after-load "tiny-menu"
 ;;   (progn
@@ -154,6 +154,8 @@
 ;; Hardcore mode
 (defconst hardcore-nav-mode t)
 (when hardcore-nav-mode
+  (global-set-key (kbd "<XF86Back>") nil)
+  (global-set-key (kbd "<XF86Forward>") nil)
   (global-set-key (kbd "<right>") nil)
   (global-set-key (kbd "<left>") nil)
   (global-set-key (kbd "<up>") nil)
diff --git a/emacs/inits/15-project-mgmt.el b/emacs/inits/15-project-mgmt.el
index bca9597..c37c415 100644
--- a/emacs/inits/15-project-mgmt.el
+++ b/emacs/inits/15-project-mgmt.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2020-01-26 16:41:24 (tslil@bison)>
+;; Time-stamp: <2020-03-05 12:07:10 (tslil@bison)>
 
 (use-package projectile
   :ensure t
@@ -10,7 +10,7 @@
   (defadvice projectile-project-root (around ignore-remote first activate)
     (unless (file-remote-p default-directory) ad-do-it))
 
-  (setq projectile-completion-system 'ivy
+  (setq projectile-completion-system 'default
         projectile-mode-line-prefix ""
         ;; projectile-mode-line-function '(lambda ()
         ;;                                  (format " ¶[%s]"
@@ -20,4 +20,6 @@
 
 (use-package magit
   :ensure t
-  :bind (("C-x g" . magit-status)))
+  :bind (("C-x g" . magit-status))
+  :config
+  (setq magit-process-find-password-functions '(magit-process-password-auth-source)))
diff --git a/emacs/inits/21-functional.el b/emacs/inits/21-functional.el
index bdafc4b..07aaede 100644
--- a/emacs/inits/21-functional.el
+++ b/emacs/inits/21-functional.el
@@ -1,74 +1,63 @@
-;; Time-stamp: <2019-09-18 23:23:51 (tslil@basingstoke)>
+;; Time-stamp: <2019-02-02 18:55:41 (tslil@winslow)>
 
 ;; -----------------------------------------------------------------------------
 ;; Haskell
 
-(use-package haskell-mode
-  :ensure nil
-  :defer t)
-
-(use-package intero
-  :ensure nil
-  :defer t
-  :hook (haskell-mode . (lambda ()
-                          (intero-mode)
-                          (flycheck-mode -1))))
+(use-package ghc :ensure t :defer t)
 
-;; (use-package ghc :ensure t :defer t)
+(use-package company-ghc :ensure t :defer t)
 
-;; (use-package company-ghc :ensure t :defer t)
+(use-package company-ghci :ensure t :defer t)
 
-;; (use-package company-ghci :ensure t :defer t)
+(use-package shm :ensure t
+  :functions structured-haskell-mode
+  :bind (:map shm-map
+              ("C-c C-s" . shm/case-split)))
 
-;; (use-package shm :ensure t
-;;   :functions structured-haskell-mode
-;;   :bind (:map shm-map
-;;               ("C-c C-s" . shm/case-split)))
-
-;; (use-package haskell-mode
-;;   :ensure t
-;;   :after  (company-ghc company-ghci shm)
-;;   :bind (:map haskell-mode-map
-;;               ("[f8]". haskell-navigate-imports)
-;;               ("C-c C-c" . haskell-compile)
-;;               ("C-c C-z" . haskell-interactive-switch)
-;;               ("C-c C-l" . haskell-process-load-file)
-;;               ("C-c C-b" . haskell-interactive-switch)
-;;               ("C-c C-t" . haskell-process-do-type)
-;;               ("C-c C-i" . haskell-process-do-info)
-;;               ("C-x C-d" . nil)
-;;               ("C-c M-." . nil)
-;;               ("C-c C-d" . nil))
-;;   :hook ((haskell-interactive-mode . visual-line-mode)
-;;          (haskell-mode . (lambda ()
-;;                            (subword-mode 1)
-;;                            (aggressive-indent-mode -1)
-;;                            (require 'shm)
-;;                            (require 'shm-case-split)
-;;                            (require 'ghc)
-;;                            (ghc-init)
-;;                            (structured-haskell-mode)
-;;                            ;; (haskell-indentation-mode)
-;;                            (interactive-haskell-mode)
-;;                            (turn-on-haskell-doc-mode)
-;;                            (turn-on-haskell-decl-scan)
-;;                            (add-to-list 'company-backends 'company-ghc)
-;;                            (add-to-list 'company-backends 'company-ghci)
-;;                            ;; (turn-on-haskell-unicode-input-method)
-;;                            ;; (haskell-mode-stylish-buffer)
-;;                            )))
-;;   :config
-;;   (setq haskell-doc-show-global-types t
-;;         haskell-doc-show-prelude t
-;;         haskell-doc-show-user-defined t
-;;         haskell-doc-show-reserved t
-;;         haskell-interactive-mode-eval-pretty t
-;;         haskell-process-type 'cabal-repl
-;;         company-ghc-show-info t
-;;         company-ghc-autoscan t
-;;         company-ghc-show-module t
-;;         haskell-stylish-on-save t
-;;         haskell-process-use-presentation-mode t
-;;         haskell-process-suggest-imports t
-;;         haskell-process-suggest-hoogle-imports t
-;;         haskell-process-show-debug-tips nil))
+(use-package haskell-mode
+  :ensure t
+  :after  (company-ghc company-ghci shm)
+  :bind (:map haskell-mode-map
+              ("[f8]". haskell-navigate-imports)
+              ("C-c C-c" . haskell-compile)
+              ("C-c C-z" . haskell-interactive-switch)
+              ("C-c C-l" . haskell-process-load-file)
+              ("C-c C-b" . haskell-interactive-switch)
+              ("C-c C-t" . haskell-process-do-type)
+              ("C-c C-i" . haskell-process-do-info)
+              ("C-x C-d" . nil)
+              ("C-c M-." . nil)
+              ("C-c C-d" . nil))
+  :hook ((haskell-interactive-mode . visual-line-mode)
+         (haskell-mode . (lambda ()
+                           (subword-mode 1)
+                           (aggressive-indent-mode -1)
+                           (require 'shm)
+                           (require 'shm-case-split)
+                           (require 'ghc)
+                           (ghc-init)
+                           (structured-haskell-mode)
+                           ;; (haskell-indentation-mode)
+                           (interactive-haskell-mode)
+                           (turn-on-haskell-doc-mode)
+                           (turn-on-haskell-decl-scan)
+                           (add-to-list 'company-backends 'company-ghc)
+                           (add-to-list 'company-backends 'company-ghci)
+                           ;; (turn-on-haskell-unicode-input-method)
+                           ;; (haskell-mode-stylish-buffer)
+                           )))
+  :config
+  (setq haskell-doc-show-global-types t
+        haskell-doc-show-prelude t
+        haskell-doc-show-user-defined t
+        haskell-doc-show-reserved t
+        haskell-interactive-mode-eval-pretty t
+        haskell-process-type 'cabal-repl
+        company-ghc-show-info t
+        company-ghc-autoscan t
+        company-ghc-show-module t
+        haskell-stylish-on-save t
+        haskell-process-use-presentation-mode t
+        haskell-process-suggest-imports t
+        haskell-process-suggest-hoogle-imports t
+        haskell-process-show-debug-tips nil))
diff --git a/emacs/inits/23-text-related.el b/emacs/inits/23-text-related.el
index 8d48795..0efdc95 100644
--- a/emacs/inits/23-text-related.el
+++ b/emacs/inits/23-text-related.el
@@ -1,10 +1,35 @@
-;; Time-stamp: <2019-07-17 18:18:58 (tslil@basingstoke)>
+;; Time-stamp: <2020-03-04 21:49:11 (tslil@bison)>
 
 ;; -----------------------------------------------------------------------------
 ;; Spelling
 
-(use-package flyspell-correct-ivy
-  :ensure t :defer t)
+(defun flyspell-correct-selectrum (candidates word)
+  (let* ((save "[SAVE]")
+         (accept-session "[ACCEPT (session)]")
+         (accept-buffer "[ACCEPT (buffer)]")
+         (skip "[SKIP]")
+         (selectrucm-should-sort nil)
+         (result (selectrum-completing-read
+                  (format "Correcting '%s': " word)
+                  (append candidates
+                          (list save accept-session accept-buffer skip)))))
+    (cond
+     ((string= result save)
+      (cons 'save word))
+     ((string= result accept-session)
+      (cons 'session word))
+     ((string= result accept-buffer)
+      (cons 'buffer word))
+     ((string= result skip)
+      (cons 'skip word))
+     (t
+      result))))
+
+(use-package flyspell-correct
+  :ensure t
+  :defer t
+  :config
+  (setq flyspell-correct-interface #'flyspell-correct-selectrum))
 
 (use-package flyspell
   :ensure t
@@ -15,8 +40,7 @@
               ("C-\"" . nil))
   :init
   (setq ispell-dictionary "british"
-        flyspell-default-dictionary "british"
-        flyspell-correct-interface #'flyspell-correct-ivy))
+        flyspell-default-dictionary "british"))
 
 (setq sentence-end-double-space nil)
 
diff --git a/emacs/inits/24-latex.el b/emacs/inits/24-latex.el
index a07425b..f71041b 100644
--- a/emacs/inits/24-latex.el
+++ b/emacs/inits/24-latex.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2019-09-23 11:24:20 (tslil@basingstoke)>
+;; Time-stamp: <2020-03-24 10:05:16 (tslil@bison)>
 
 (defvar latex-template-dir (expand-file-name "~/academic/typeset/latex-templates"))
 (defun prompt-latex-file-template ()
@@ -11,7 +11,7 @@ populated from the directory *latex-template-dir*"
                t)
              (yes-or-no-p "Insert template?"))
     (let* ((tfiles (directory-files latex-template-dir nil "\\.tex"))
-           (template (ivy-read "Select template: " tfiles)))
+           (template (completing-read "Select template: " tfiles nil t)))
       (when template
         (goto-char (point-min))
         (insert-file-contents (concat latex-template-dir "/" template))
@@ -28,11 +28,20 @@ populated from the directory *latex-template-dir*"
 
 (use-package company-auctex :ensure t :defer t)
 
+(use-package pdf-tools
+  :demand
+  :ensure t
+  ;; :bind (:map pdf-view-mode-map
+  ;;             ("C-s" . isearch-forward))
+  :config
+  (pdf-tools-install))
+
 (use-package latex
   :ensure auctex
   :bind (:map LaTeX-mode-map
               ("'" . better-TeX-insert-single-quote)
-              ("TAB" . LaTeX-indent-line))
+              ("TAB" . LaTeX-indent-line)
+              ("C-c C-g" . pdf-sync-forward-search))
   :hook (LaTeX-mode . (lambda ()
                         (require 'company-auctex)
                         (electric-pair-local-mode -1)
@@ -56,15 +65,22 @@ populated from the directory *latex-template-dir*"
               TeX-close-quote old-close))))
 
   :config
-  (add-to-list 'LaTeX-indent-environment-list
-               '("diagram"))
-  (add-to-list 'LaTeX-indent-environment-list
-               '("diagram*"))
-
+  (dolist (entry '(("diagram") ("diagram*"))) (push entry LaTeX-indent-environment-list))
 
-  (add-to-list 'TeX-command-list '("XeLaTeX" "xelatex %t" TeX-run-TeX nil
-                                   (latex-mode doctex-mode)
-                                   :help "Run XeLaTeX"))
+  (setq TeX-command-list '(("XeLaTeX" "xelatex %t"
+                            TeX-run-TeX nil (latex-mode doctex-mode) :help "Run XeLaTeX")
+                           ("TeX" "%(PDF)%(tex) %(file-line-error) %`%(extraopts) %S%(PDFout)%(mode)%' %t"
+                            TeX-run-TeX nil (plain-tex-mode ams-tex-mode texinfo-mode) :help "Run plain TeX")
+                           ("LaTeX" "%`%l%(mode)%' %T"
+                            TeX-run-TeX nil (latex-mode doctex-mode) :help "Run LaTeX")
+                           ("BibTeX" "bibtex %s" TeX-run-BibTeX nil
+                            (plain-tex-mode latex-mode doctex-mode ams-tex-mode texinfo-mode context-mode) :help "Run BibTeX")
+                           ("View externally" "%V" TeX-run-discard-or-function t t :help "Run External Viewer")
+                           ("View" "(find-file \"%o\")" TeX-run-function nil t :help "Run Viewer")
+                           ("Spell" "(TeX-ispell-document \"\")" TeX-run-function nil t :help "Spell-check the document")
+                           ("Clean" "TeX-clean" TeX-run-function nil t :help "Delete generated intermediate files")
+                           ("Clean All" "(TeX-clean t)" TeX-run-function nil t :help "Delete generated intermediate and output files")
+                           ("Other" "" TeX-run-command t t :help "Run an arbitrary command")))
 
   (setq TeX-electric-sub-and-superscript t
         TeX-electric-math '("$" . "$")
@@ -75,11 +91,13 @@ populated from the directory *latex-template-dir*"
   (setq TeX-auto-save t
         TeX-parse-self t
         TeX-PDF-mode t
-        TeX-source-correlate-mode nil
+        TeX-source-correlate-mode 'synctex
         TeX-view-program-selection '( ((output-dvi style-pstricks) "dvips and gv")
                                       (output-dvi "xdvi")
                                       (output-pdf "Zathura")
-                                      (output-html "xdg-open"))))
+                                      (output-html "xdg-open")))
+
+  (add-hook 'TeX-after-compilation-finished-functions #'TeX-revert-document-buffer))
 
 
 (use-package cdlatex
@@ -137,10 +155,9 @@ populated from the directory *latex-template-dir*"
                                     (?{ ("\\subseteq" "\\subsetneq"))
                                     (?} ("\\supseteq" "\\supsetneq"))
                                     )))
-
-(use-package doc-view
-  :defer t
-  :functions doc-view-mode
-  :hook (doc-view-mode . auto-revert-mode)
-  :config   (setq doc-view-resolution 300
-                  doc-view-continuous t))
+;; (use-package doc-view
+;;   :defer t
+;;   :functions doc-view-mode
+;;   :hook (doc-view-mode . auto-revert-mode)
+;;   :config   (setq doc-view-resolution 300
+;;                   doc-view-continuous t))
diff --git a/emacs/inits/30-irc.el b/emacs/inits/30-irc.el
index 7d3566f..0bb43ab 100644
--- a/emacs/inits/30-irc.el
+++ b/emacs/inits/30-irc.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2019-01-26 12:55:41 (tslil@winslow)>
+;; Time-stamp: <2020-03-17 16:18:09 (tslil@bison)>
 
 (use-package rcirc
   :ensure t
@@ -11,7 +11,7 @@
   (use-package rcirc-color
     :ensure t
     :if (window-system))
-  
+
   (require 'auth-source)
 
   (defadvice rcirc (before rcirc-read-from-authinfo activate)
@@ -29,7 +29,7 @@
                              (if (functionp secret)
                                  (funcall secret)
                                secret)))))))
-  
+
   (setq rcirc-default-full-name "tslil"
         rcirc-default-nick "maximum_yellow"
         rcirc-default-user-name "maximum_yellow"
@@ -37,9 +37,15 @@
         rcirc-log-directory "~/irc/"
         rcirc-fill-column 80
         rcirc-log-flag t
-        rcirc-server-alist
-        '(("irc.freenode.net"
-           :port 6697
-           :encryption tls
-           :channels ("#emacs" "#guix")
-           ))))
+        rcirc-server-alist nil
+        ;; '(("irc.freenode.net"
+        ;;    :port 6697
+        ;;    :encryption tls
+        ;;    :channels ("#emacs" "#guix"))
+        ;;   ("127.0.0.1"
+        ;;    :port 6667
+        ;;    :nick "tslil"
+        ;;    :user-name "tslil"
+        ;;    :channels ("&bitlbee"))
+        ;;   )
+        ))
diff --git a/emacs/inits/60-misc-configs.el b/emacs/inits/60-misc-configs.el
index dd51a20..455da22 100644
--- a/emacs/inits/60-misc-configs.el
+++ b/emacs/inits/60-misc-configs.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2019-03-11 11:02:27 (tslil@basingstoke)>
+;; Time-stamp: <2019-07-16 10:49:21 (tslil@bison)>
 
 (use-package dired
   :defer t
@@ -15,7 +15,7 @@
 (use-package browse-url
   :defer t
   :config
-  (setq browse-url-generic-program "firefox-esr"
+  (setq browse-url-generic-program "iceweasel"
         browse-url-browser-function '(("." . browse-url-generic))))
 
 (setq backup-directory-alist `((".*" . ,temporary-file-directory))
diff --git a/emacs/inits/70-global-keybinds.el b/emacs/inits/70-global-keybinds.el
index d19ff0d..4e3d6f4 100644
--- a/emacs/inits/70-global-keybinds.el
+++ b/emacs/inits/70-global-keybinds.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2020-01-12 11:40:27 (tslil@bison)>
+;; Time-stamp: <2020-02-08 22:08:09 (tslil@bison)>
 
 (setq time-stamp-active t
       time-stamp-line-limit 3
diff --git a/emacs/inits/06-dashboard.el b/emacs/inits/NO-06-dashboard.el
index 4c6d2a7..2db87ac 100644
--- a/emacs/inits/06-dashboard.el
+++ b/emacs/inits/NO-06-dashboard.el
@@ -1,17 +1,21 @@
-;; Time-stamp: <2019-11-12 10:56:10 (tslil@basingstoke)>
+;; Time-stamp: <2020-02-08 13:07:24 (tslil@bison)>
 
 (use-package fortune
   :config
-  (setq fortune-dir "/usr/share/games/fortunes/"
+  (setq fortune-dir "/usr/share/fortune/"
         fortune-program "fortune"
-        fortune-file "/usr/share/games/fortunes/cookie"
+        fortune-file "/usr/share/fortune/cookie"
         fortune-program-options '("-s" "tao" "wisdom"))
   (defun dashboard-fortune (n)
     (insert
-     (with-temp-buffer
-       (let ((fortune-buffer-name (current-buffer)))
-         (fortune-in-buffer t)
-         (buffer-string))))))
+     (if (evenp (random 2))
+         (with-temp-buffer
+           (let ((fortune-buffer-name (current-buffer)))
+             (fortune-in-buffer t)
+             (buffer-string)))
+       (shell-command-to-string "shuf -n 1 ~/store/quotes")))))
+
+
 
 (use-package dashboard
   :ensure t
@@ -21,7 +25,8 @@
   (setq dashboard-center-content t
         dashboard-set-init-info t
         dashboard-set-footer nil
-        dashboard-startup-banner 3
+        dashboard-banners-directory (expand-file-name "~/.emacs.d/banners/")
+        dashboard-startup-banner 5
         dashboard-items '((recents . 5)
                           (projects . 5)
                           (fortune . 0))
diff --git a/emacs/inits/10-ivy.el b/emacs/inits/NO-10-ivy.el
index 47cc783..47cc783 100644
--- a/emacs/inits/10-ivy.el
+++ b/emacs/inits/NO-10-ivy.el