1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-11 13:50:48 -05:00
rofi/config
Dave Davenport f879062417 [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
2019-02-10 13:56:44 +01:00
..
config.c [SSH] Add support for parsing port number from known hosts file. 2019-02-10 13:56:44 +01:00