Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2025-01-27 20:25:12 +00:00
Code Issues Projects Releases Packages Wiki Activity

Make reading ssh files case-insensitive

Browse source 
Fixes #2843
This commit is contained in:
Fabian Homborg 2016-03-22 11:09:36 +01:00
parent 2e0205a746
commit a81bd697a8
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
share/functions/__fish_print_hostnames.fish
View file

@ -26,9 +26,9 @@ function __fish_print_hostnames -d "Print a list of known hostnames"
if test -r $file if test -r $file
# Print hosts from system wide ssh configuration file # Print hosts from system wide ssh configuration file
# Note the non-capturing group to avoid printing "name" # Note the non-capturing group to avoid printing "name"
string match -r '\s*Host(?:name)? \w.*' < $file | string replace -r '^\s*Host(?:name)?\s*(\S+)' '$1' string match -ri '\s*Host(?:name)? \w.*' < $file | string replace -ri '^\s*Host(?:name)?\s*(\S+)' '$1'
set known_hosts $known_hosts (string match -r '^\s*UserKnownHostsFile|^\s*GlobalKnownHostsFile' <$file \ set known_hosts $known_hosts (string match -ri '^\s*UserKnownHostsFile|^\s*GlobalKnownHostsFile' <$file \
| string replace -r '.*KnownHostsFile\s*' '') | string replace -ri '.*KnownHostsFile\s*' '')
end end
end end
for file in $known_hosts for file in $known_hosts