diff --git a/ansible/roles/emacs/files/elisp/base.el b/ansible/roles/emacs/files/elisp/base.el index eba403d..590af3e 100644 --- a/ansible/roles/emacs/files/elisp/base.el +++ b/ansible/roles/emacs/files/elisp/base.el @@ -75,4 +75,10 @@ ;; Delete trailing whitespace before save (add-hook 'before-save-hook 'delete-trailing-whitespace) +;; If the underlying file changes, reload it automatically. This is useful for moving around in git without confusing language servers. +(setopt auto-revert-avoid-polling t) +(setopt auto-revert-interval 5) +(setopt auto-revert-check-vc-info t) +(global-auto-revert-mode) + (provide 'base)