To build on this tip, the following will shorten file revert time but a couple seconds (default is 5 secs) (setq auto-revert-interval 1) Found in https://www.

To build on this tip, the following will shorten file revert time but a couple seconds (default is 5 secs) (setq auto-revert-interval 1) Found in https://www.gnu.org/software/emacs/manual/html_node/emacs/Reverting.html https://www.gnu.org/software/emacs/manual/html_node/emacs/Re...