David Adam
c2dcfc9176
__fish_print_hostnames: do a better job of searching SSH files
2013-09-19 23:24:36 +08:00
ridiculousfish
0970487cca
Some spaces to tabs in __fish_print_hostnames
2013-04-03 18:46:50 -07:00
Greg Dietsche
d38f1380e9
Ignore hashed host names in ssh/known_hosts
...
Valid DNS names cannot have a | character and hashed ssh hosts
always begin with the | character. Therefore we ignore lines that
begin with |.
Signed-off-by: Greg Dietsche <Gregory.Dietsche@cuw.edu>
2013-04-03 18:45:13 -07:00
Greg Dietsche
2626b83b08
the host keyword in ssh/.config is case insensitive
...
Signed-off-by: Greg Dietsche <Gregory.Dietsche@cuw.edu>
2013-04-03 18:45:13 -07:00
Kenneth Vestergaard
286bef5eb7
Fix crash when /etc/{fstab,hosts} is unreadable.
2013-02-20 12:30:36 -08:00
David Adam (zanchey)
60435f99b9
fix typo in hostname completion
2012-12-10 01:30:40 +05:30
David Adam (zanchey)
b02ed0bbe6
use sgrep instead of grep
2012-11-27 13:02:13 +08:00
David Adam (zanchey)
165ba535f0
use getent for hosts if available, otherwise use more resilient processing of /etc/hosts
2012-11-27 11:49:52 +08:00
axel
05341b055b
ish's current hostname completion uses ~/.ssh/known_hosts as one of its sources of information, but ~/.ssh/config may also be useful. Gather all of the 'Host' declarations from ~/.ssh/config and filter out the ones with wildcards. Signed-off-by: James Vega <jamessan@debian.org>
...
darcs-hash:20090202210242-ac50b-cf50070ee33ab6113e32a4d997d464ac4b1faf24.gz
2009-02-03 07:02:42 +10:00
axel
f64364cced
Replace all internal uses of grep with sgrep, which is a wrapper around grep that strips away any GREP_OPTIONS. This is needed to avoid users who have added arbitrary switches to GREP_OPTIONS, thus changing its behaviour.
...
darcs-hash:20061129140004-ac50b-485ff6bfd71e9459ba62461f6e093ca5c9ddd664.gz
2006-11-30 00:00:04 +10:00
axel
343cafef34
Redo installation file structure, move lots of things to $PREFIX/share/fish
...
darcs-hash:20060217101339-ac50b-d93d2c620a4b7f75f05ff461a6edbee001da7613.gz
2006-02-17 20:13:39 +10:00