summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2021-05-23 21:12:59 +0100
committerjao <jao@gnu.org>2021-05-23 21:12:59 +0100
commitba796435ce8ea52fc95d39e05854fb102c0db9b9 (patch)
treec320335960e037a379b97ede2ab4fb38fc012be4
parent5a8b0b7ee922ea08513ec1593fd1e2a8e209652a (diff)
downloadelibs-ba796435ce8ea52fc95d39e05854fb102c0db9b9.tar.gz
elibs-ba796435ce8ea52fc95d39e05854fb102c0db9b9.tar.bz2
unused bits
-rw-r--r--init.org32
1 files changed, 0 insertions, 32 deletions
diff --git a/init.org b/init.org
index aa271d6..532ec8c 100644
--- a/init.org
+++ b/init.org
@@ -449,19 +449,6 @@
(setq bookmark-default-file "~/.emacs.d/emacs.bmk"
bookmark-fontify nil)
#+END_SRC
-*** Helpful
- #+begin_src emacs-lisp :load no
- (use-package helpful
- :ensure t
- :custom ((helpful-max-buffers 20))
- :config
- (setq helpful-switch-buffer-function #'pop-to-buffer-same-window)
-
- :bind (("C-h k" . helpful-key)
- ("C-h v" . helpful-variable)
- ("C-h f" . helpful-callable)
- ("C-h o" . helpful-symbol)))
- #+end_src
*** Inform (links in info buffers)
#+begin_src emacs-lisp
(use-package inform :ensure t)
@@ -2706,15 +2693,6 @@
(venv-initialize-eshell)
(jao-compilation-env "VIRTUAL_ENV"))
#+end_src
-*** Coq
- #+begin_src emacs-lisp :load no
- (use-package proof-general
- :ensure t)
-
- (use-package company-coq
- :ensure t
- :hook (coq-mode . company-coq-mode))
- #+end_src
*** JSON
#+BEGIN_SRC emacs-lisp
(use-package json-mode :ensure t)
@@ -2913,16 +2891,6 @@
(erc-cmd-MSG (format "nickserv RELEASE %s" (car fn)))
(erc-cmd-NICK (car fn))))
#+end_src
-***** Images
- #+begin_src emacs-lisp :load no
- (use-package erc-image
- :ensure t
- :after erc
- :init (setq erc-image-inline-rescale 'window)
- :config
- (add-to-list 'erc-modules 'image)
- (erc-update-modules))
- #+end_src
***** Startup
#+begin_src emacs-lisp
(defun jao-erc (&optional yes)