diff options
author | Klemens Schölhorn <klemens@schoelhorn.eu> | 2015-10-31 17:26:13 +0100 |
---|---|---|
committer | Klemens Schölhorn <klemens@schoelhorn.eu> | 2015-10-31 18:35:37 +0100 |
commit | 9cb0073ce896f7ce598bf7db630f4f3c0a0640a2 (patch) | |
tree | 44140a68e7d09ba10f72d857843aa97fa859bdf2 /config | |
parent | 6b53fc19031a0b879b61877852f4ebd74a0c2a34 (diff) |
Add -no-parse-known-hosts to disable parsing of ~/.ssh/known_hosts
For humans who like to keep the list of available servers clean. Also useful
if you use different names in ~/.ssh/config.
The previous default of always parsing known_hosts is not changed.
Diffstat (limited to 'config')
-rw-r--r-- | config/config.def.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/config.def.c b/config/config.def.c index 7bedb5ef..3a77519d 100644 --- a/config/config.def.c +++ b/config/config.def.c @@ -126,6 +126,8 @@ Settings config = { .auto_select = FALSE, /** Parse /etc/hosts file in ssh view. */ .parse_hosts = FALSE, + /** Parse ~/.ssh/known_hosts file in ssh view. */ + .parse_known_hosts = TRUE, /** Modi to combine into one view. */ .combi_modi = "window,run", /** Fuzzy matching. */ |