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 /source/xrmoptions.c | |
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 'source/xrmoptions.c')
-rw-r--r-- | source/xrmoptions.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index 648fa697..559ad074 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -121,6 +121,7 @@ static XrmOption xrmOptions[] = { { xrm_SNumber, "eh", { .snum = &config.element_height }, NULL, "Row height (in chars)" }, { xrm_Boolean, "auto-select", { .num = &config.auto_select }, NULL, "Enable auto select mode" }, { xrm_Boolean, "parse-hosts", { .num = &config.parse_hosts }, NULL, "Parse hosts file for ssh mode" }, + { xrm_Boolean, "parse-known-hosts", { .num = &config.parse_known_hosts }, NULL, "Parse known_hosts file for ssh mode" }, { xrm_String, "combi-modi", { .str = &config.combi_modi }, NULL, "Set the modi to combine in combi mode" }, { xrm_Boolean, "fuzzy", { .num = &config.fuzzy }, NULL, "Do a more fuzzy matching" }, { xrm_Boolean, "glob", { .num = &config.glob }, NULL, "Use glob matching" }, |