diff options
| author | Ryan Kavanagh <rak@rak.ac> | 2023-01-03 12:13:19 -0500 |
|---|---|---|
| committer | Ryan Kavanagh <rak@rak.ac> | 2023-01-03 12:13:19 -0500 |
| commit | 00a9082fface1fcec90eac17cfa2db5ca3c98e47 (patch) | |
| tree | 602bce80460e68e1fc64d244dff039f8c66653cf | |
| parent | update mpd_*sh (diff) | |
Switch from auto-indent-mode to aggressive-indent
| -rw-r--r-- | dot_emacs | 12 | ||||
| -rw-r--r-- | private_dot_ssh/config.tmpl | 1 |
2 files changed, 3 insertions, 10 deletions
@@ -85,18 +85,10 @@ (?1 delete-other-windows "Delete Other Windows") (?? aw-show-dispatch-help)))) -(use-package auto-indent-mode +(use-package aggressive-indent :ensure t :config - (auto-indent-global-mode) - :custom - (auto-indent-next-pair-timer-interval - (quote ((css-mode 1.5) - (haskell-mode 1.5) - (python-mode 1.5) - (latex-mode 1.5) - (coq-mode 1.5) - (default 0.0005))))) + (global-aggressive-indent-mode 1)) (use-package bibtex :mode ("\\.bib\'" . bibtex-mode) diff --git a/private_dot_ssh/config.tmpl b/private_dot_ssh/config.tmpl index 54572cd..0f5890d 100644 --- a/private_dot_ssh/config.tmpl +++ b/private_dot_ssh/config.tmpl @@ -107,6 +107,7 @@ Host rsync.net Hostname de1270.rsync.net UserKnownHostsFile ~/.ssh/known_hosts.d/rsync.net User de1270 + VisualHostKey no Host github.com *.github.com # Don't spam known_hosts with github's many IPs # Especially given that they just use the same key |