Fabian Homborg 32e65ed301 __fish_print_hostnames: Improve ssh known_hosts extraction
This now includes hosts with custom ports (and other hosts with the
same key), and explicitly excludes negated hosts, those with a
wildcard and those with an `@`-marker (e.g. `@revoked`)

It's also possibly a bit quicker because the ordering is better,
especially for files with many comments.
2017-09-07 16:24:36 +02:00
..
2016-11-27 21:27:22 -08:00
2017-08-04 20:43:07 -07:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2017-02-18 22:16:55 +01:00
2017-07-03 13:05:50 -07:00
2017-07-15 17:36:36 -07:00
2017-07-18 22:40:25 -07:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2017-07-13 11:50:57 -07:00
2017-07-13 11:53:29 -07:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2017-04-21 13:45:49 +02:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2017-07-21 16:26:15 -07:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2017-02-18 22:16:55 +01:00
2017-07-04 13:56:35 -07:00
2016-11-27 21:27:22 -08:00
2017-07-13 11:30:48 -07:00
2017-07-13 14:12:51 -07:00
2017-07-13 11:30:48 -07:00
2017-07-13 14:33:11 -07:00
2017-04-05 15:31:13 -07:00
2016-11-27 21:27:22 -08:00
2017-07-13 15:19:02 -07:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00