projects
/
~bandali
/
configs
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[emacs] update 11 drones
[~bandali/configs]
/
init.org
diff --git
a/init.org
b/init.org
index
4e45c0d
..
289b22b
100644
(file)
--- a/
init.org
+++ b/
init.org
@@
-1160,7
+1160,12
@@
TODO: break this giant source block down into individual org sections.
("S-SPC" . company-complete))
:config
(require 'lean-input)
("S-SPC" . company-complete))
:config
(require 'lean-input)
- (setq default-input-method "Lean"))
+ (setq default-input-method "Lean"
+ lean-input-tweak-all '(lean-input-compose
+ (lean-input-prepend "/")
+ (lean-input-nonempty))
+ lean-input-user-translations '(("/" "/")))
+ (lean-input-setup))
#+end_src
** Haskell
#+end_src
** Haskell
@@
-1785,14
+1790,9
@@
Hopefully temporary.
(nnimap-user "abandali@uwaterloo.ca")))
gnus-message-archive-group "nnimap:Sent"
gnus-parameters
(nnimap-user "abandali@uwaterloo.ca")))
gnus-message-archive-group "nnimap:Sent"
gnus-parameters
- '(;; ("amin"
- ;; (display . 20))
- ("gnu.*"
- ;; (display . 50)
- (gcc-self . t))
- ;; ("uwaterloo"
- ;; (display . [unread]))
- )
+ '(("gnu.*"
+ (gcc-self . t)))
+ gnus-large-newsgroup 50
gnus-home-directory (no-littering-expand-var-file-name "gnus/")
gnus-directory (concat gnus-home-directory "news/")
message-directory (concat gnus-home-directory "mail/")
gnus-home-directory (no-littering-expand-var-file-name "gnus/")
gnus-directory (concat gnus-home-directory "news/")
message-directory (concat gnus-home-directory "mail/")