From 2626b83b085f2a827d441d6c58be3ecb185d02be Mon Sep 17 00:00:00 2001 From: Greg Dietsche Date: Mon, 1 Apr 2013 15:32:11 -0500 Subject: [PATCH] the host keyword in ssh/.config is case insensitive Signed-off-by: Greg Dietsche --- share/functions/__fish_print_hostnames.fish | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/share/functions/__fish_print_hostnames.fish b/share/functions/__fish_print_hostnames.fish index 0a593b463..0f3facbbc 100644 --- a/share/functions/__fish_print_hostnames.fish +++ b/share/functions/__fish_print_hostnames.fish @@ -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