diff options
| author |  Greg Dietsche <Gregory.Dietsche@cuw.edu> | 2013-04-01 15:32:11 -0500 |
|---|---|---|
| committer |  ridiculousfish <corydoras@ridiculousfish.com> | 2013-04-03 18:45:13 -0700 |
| commit | 2626b83b085f2a827d441d6c58be3ecb185d02be (patch) | |
| tree | 91f54598b4ac04dd02b706caaea0ea8719e61945 /share/functions/__fish_print_hostnames.fish | |
| parent | db0659aab4a25d808398e986ed1e18caec46fa62 (diff) | |
the host keyword in ssh/.config is case insensitive
Signed-off-by: Greg Dietsche <Gregory.Dietsche@cuw.edu>
Diffstat (limited to 'share/functions/__fish_print_hostnames.fish')
| -rw-r--r-- | share/functions/__fish_print_hostnames.fish | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/functions/__fish_print_hostnames.fish b/share/functions/__fish_print_hostnames.fish index 0a593b46..0f3facbb 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 |