From 6f1eb587b3abbb005b1f6cf0e9ac6281f0a89002 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 28 Oct 2019 18:36:21 +0000 Subject: Add to paths and set visual lines mode --- emacs/loader.org | 50 ++++++++++++++++++++++++++++---------------------- 1 file changed, 28 insertions(+), 22 deletions(-) (limited to 'emacs') diff --git a/emacs/loader.org b/emacs/loader.org index 3ebff75..8f5e39b 100644 --- a/emacs/loader.org +++ b/emacs/loader.org @@ -37,20 +37,22 @@ be manually set inside emacs. #+BEGIN_SRC emacs-lisp (setenv "PATH" (concat - "/home/yannherklotz/.local/bin" ":" - "/home/yannherklotz/.yarn/bin" ":" + "/home/ymherklotz/.local/bin" ":" + "/home/ymherklotz/.yarn/bin" ":" "/usr/bin/vendor_perl" ":" - "/home/yannherklotz/.opam/4.09.0/bin" ":" + "/home/ymherklotz/.opam/ocaml-base-compiler.4.09.0/bin" ":" + "/home/ymherklotz/.nix-profile/bin" ":" (getenv "PATH"))) (setq exec-path (append - '("/home/yannherklotz/.opam/4.09.0/bin" - "/home/yannherklotz/.local/bin" - "/home/yannherklotz/.yarn/bin") + '("/home/ymherklotz/.opam/ocaml-base-compiler.4.09.0/bin" + "/home/ymherklotz/.local/bin" + "/home/ymherklotz/.yarn/bin" + "/home/ymherklotz/.nix-profile/bin") exec-path)) #+END_SRC #+RESULTS: -| /home/yannherklotz/.opam/4.09.0/bin | /home/yannherklotz/.local/bin | /home/yannherklotz/.yarn/bin | /home/yannherklotz/.opam/4.09.0/bin | /home/yannherklotz/.local/bin | /home/yannherklotz/.yarn/bin | /home/yannherklotz/.opam/4.09.0/bin | /home/yannherklotz/.cargo/bin | /home/yannherklotz/.local/bin | /home/yannherklotz/.yarn/bin | /usr/bin | /home/yannherklotz/.gem/ruby/2.6.0/bin | /usr/local/bin | /home/yannherklotz/.nix-profile/bin | /nix/var/nix/profiles/default/bin | /usr/local/sbin | /usr/local/bin | /usr/bin | /opt/clojurescript/bin | /usr/lib/jvm/default/bin | /usr/bin/site_perl | /usr/bin/vendor_perl | /usr/bin/core_perl | /opt/Xilinx/Vivado/2019.1/bin | /opt/intelFPGA_lite/18.1/quartus/bin | /usr/lib/emacs/26.3/x86_64-pc-linux-gnu | +| /home/ymherklotz/.opam/ocaml-base-compiler.4.09.0/bin | /home/ymherklotz/.local/bin | /home/ymherklotz/.yarn/bin | /home/ymherklotz/.nix-profile/bin | /home/ymherklotz/.opam/ocaml-base-compiler.4.09.0/bin | /home/ymherklotz/.local/bin | /home/ymherklotz/.yarn/bin | /home/ymherklotz/.nix-profile/bin | /home/yannherklotz/.opam/4.09.0/bin | /home/yannherklotz/.local/bin | /home/yannherklotz/.yarn/bin | /home/ymherklotz/.cargo/bin | /home/ymherklotz/.local/bin | /home/ymherklotz/.yarn/bin | /usr/bin | /home/ymherklotz/.gem/ruby/2.6.0/bin | /usr/local/bin | /usr/local/sbin | /usr/local/bin | /usr/bin | /usr/bin/site_perl | /usr/bin/vendor_perl | /usr/bin/core_perl | /opt/Xilinx/Vivado/2019.1/bin | /opt/intelFPGA_lite/18.1/quartus/bin | /usr/lib/emacs/26.3/x86_64-pc-linux-gnu | Define a function to load a user file whenever I want to add configurations that are not pushed as part of this configuration file. This includes a private file @@ -153,6 +155,10 @@ buffer instead. #+RESULTS: : org-capture +#+begin_src emacs-lisp + (global-visual-line-mode t) +#+end_src + *** Custom modeline Editing the modeline. ~%c~ might be a bit slow though, so that could be removed @@ -686,11 +692,6 @@ incrementally selecting more and more of the text. * Writing -#+BEGIN_SRC emacs-lisp - (add-hook 'text-mode-hook (lambda () - (auto-fill-mode 1))) -#+END_SRC - ** Spellcheck in emacs #+BEGIN_SRC emacs-lisp (use-package flyspell @@ -930,8 +931,15 @@ Add org noter #+BEGIN_SRC emacs-lisp (use-package pdf-tools - :hook (doc-view-mode . pdf-view-mode) - :commands pdf-view-mode) + :config + ;; initialise + (pdf-tools-install) + ;; open pdfs scaled to fit page + (setq-default pdf-view-display-size 'fit-page) + ;; automatically annotate highlights + (setq pdf-annot-activate-created-annotations t) + ;; use normal isearch + (define-key pdf-view-mode-map (kbd "C-s") 'isearch-forward)) #+END_SRC #+RESULTS: @@ -1092,7 +1100,9 @@ Adding hook to clojure mode to enable strict parentheses mode. #+begin_src emacs-lisp (use-package proof-general :config - (setq coq-compile-before-require t)) + (setq coq-compile-before-require t) + (defadvice proof-goto-point (after adjust-window-in-proof) + (golden-ratio))) #+end_src #+RESULTS: @@ -1155,8 +1165,8 @@ Haskell mode with company mode completion. (setq haskell-indentation-layout-offset 4 haskell-indentation-starter-offset 4 haskell-indentation-left-offset 4 - haskell-indentation-where-pre-offset 4 - haskell-indentation-where-post-offset 4)) + haskell-indentation-where-pre-offset 2 + haskell-indentation-where-post-offset 2)) (use-package interactive-haskell-mode @@ -1165,7 +1175,7 @@ Haskell mode with company mode completion. #+END_SRC #+RESULTS: -| (lambda nil (local-set-key (kbd C-c v) (quote haskell-add-import))) | (lambda nil (set (make-local-variable (quote projectile-tags-command)) hasktags -Re -f "%s" %s "%s")) | (lambda nil (local-set-key (kbd C-c y a) (quote y/haskell-align-comment))) | haskell-decl-scan-mode | interactive-haskell-mode | +| (lambda nil (set (make-local-variable (quote projectile-tags-command)) hasktags -Re -f "%s" %s "%s")) | (lambda nil (local-set-key (kbd C-c v) (quote haskell-add-import))) | (lambda nil (local-set-key (kbd C-c y a) (quote y/haskell-align-comment))) | haskell-decl-scan-mode | interactive-haskell-mode | *** Python Elpy package for python, which provides an IDE type environment for python. @@ -1312,10 +1322,6 @@ Shamelessly taken from https://github.com/alphapapa/unpackaged.el#hydra. Keybindings #+BEGIN_SRC emacs-lisp - (use-package solarized-theme - :config - (setq solarized-use-variable-pitch nil)) - (defun y/set-theme (theme) (load-theme theme t) (toggle-scroll-bar -1)) -- cgit