diff options
author | Dave Davenport <qball@gmpclient.org> | 2019-02-10 13:55:09 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2019-02-10 13:56:44 +0100 |
commit | f87906241708adbbb0239b7815e2850727469f7c (patch) | |
tree | 2983ae068d80daf16039caf359b4fb329e1f106f /config | |
parent | 9af5cac65b6c2c7cbb4a08a8796b36281f1e15cf (diff) |
[SSH] Add support for parsing port number from known hosts file.
* Store port number in history.
* Parse the [host]:port format.
* Update default ssh command to (optionally) add -p {port}.
Fixes: #580
Diffstat (limited to 'config')
-rw-r--r-- | config/config.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/config.c b/config/config.c index c5e569bc..68201147 100644 --- a/config/config.c +++ b/config/config.c @@ -58,7 +58,7 @@ Settings config = { .terminal_emulator = "rofi-sensible-terminal", .ssh_client = "ssh", /** Command when executing ssh. */ - .ssh_command = "{terminal} -e {ssh-client} {host}", + .ssh_command = "{terminal} -e {ssh-client} {host} [-p {port}]", /** Command when running */ .run_command = "{cmd}", /** Command used to list executable commands. empty -> internal */ |