dotfiles

My personal shell configs and stuff
git clone git://git.alex.balgavy.eu/dotfiles.git
Log | Files | Refs | Submodules | README | LICENSE

commit ba7e9df26d3fa7414caafef161334d27d7a898d8
parent 2201d238299c8c46ad8fe0647fac01635a2170ed
Author: Alex Balgavy <a.balgavy@gmail.com>
Date:   Tue, 27 Oct 2020 11:39:00 +0100

emacs: a few settings

Former-commit-id: 478b57882e983657e467da9db16f7c4143aa6187
Diffstat:
Memacs/emacs.d/config.org | 20++++++++++++++++++++
1 file changed, 20 insertions(+), 0 deletions(-)

diff --git a/emacs/emacs.d/config.org b/emacs/emacs.d/config.org @@ -150,6 +150,18 @@ Also bootstrap =use-package=: :hook (org-mode . (lambda () (org-bullets-mode 1)))) #+END_SRC +** exec-path-from-shell + In macOS, the path is not set correctly in the GUI app. This fixes it. + #+begin_src emacs-lisp + (when (memq window-system '(mac ns x)) + (exec-path-from-shell-initialize)) + #+end_src +** lean-mode + Shift completion for lean-mode and company-lean: + + #+begin_src emacs-lisp + (global-set-key (kbd "S-SPC") #'company-complete) + #+end_src * Defaults ** Appearance Highlight the current line @@ -166,3 +178,11 @@ Also bootstrap =use-package=: (scroll-bar-mode 0) ; Disable scrollbar (tool-bar-mode 0)); Disable toolbar #+END_SRC +** Backup files + By default, backup files (those with a tilde) are saved in the same directory as the currently edited file. + This setting puts them in ~/.local/share/emacs/saves. + + #+begin_src emacs-lisp + (setq backup-directory-alist '(("." . "~/.local/share/emacs/saves"))) + (setq backup-by-copying t) + #+end_src