the host keyword in ssh/.config is case insensitive

Signed-off-by: Greg Dietsche <Gregory.Dietsche@cuw.edu>
This commit is contained in:
Greg Dietsche
2013-04-01 15:32:11 -05:00
committed by ridiculousfish
parent db0659aab4
commit 2626b83b08

View File

@@ -17,7 +17,7 @@ function __fish_print_hostnames -d "Print a list of known hostnames"
# Print hosts from ssh configuration file
if [ -e ~/.ssh/config ]
sgrep '^ *Host' ~/.ssh/config | grep -v '[*?]' | cut -d ' ' -f 2
sgrep -i '^ *host' ~/.ssh/config | grep -v '[*?]' | cut -d ' ' -f 2
end
end