diff options
author | axel <axel@liljencrantz.se> | 2006-11-30 00:00:04 +1000 |
---|---|---|
committer | axel <axel@liljencrantz.se> | 2006-11-30 00:00:04 +1000 |
commit | f64364ccedb86d2fe182ac321585dbdda15c2175 (patch) | |
tree | 164a9ababc1d1f7455a841858aef524836308c51 /share/functions/__fish_print_hostnames.fish | |
parent | 32502bfac804551d09249675e382d297676a880c (diff) |
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
Diffstat (limited to 'share/functions/__fish_print_hostnames.fish')
-rw-r--r-- | share/functions/__fish_print_hostnames.fish | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/functions/__fish_print_hostnames.fish b/share/functions/__fish_print_hostnames.fish index f6de9784..69e41e0d 100644 --- a/share/functions/__fish_print_hostnames.fish +++ b/share/functions/__fish_print_hostnames.fish @@ -3,11 +3,11 @@ function __fish_print_hostnames -d "Print a list of known hostnames" # Print all hosts from /etc/hosts if test -f /etc/hosts - sed </etc/hosts -e 's/[0-9.]*\( \|\t\)*\(.*\)/\2/'|sed -e 's/\#.*//'|tr \t \n |grep -v '^$' + sed </etc/hosts -e 's/[0-9.]*\( \|\t\)*\(.*\)/\2/'|sed -e 's/\#.*//'|tr \t \n |sgrep -v '^$' end # Print nfs servers from /etc/fstab if test -f /etc/fstab - grep </etc/fstab "^\([0-9]*\.[0-9]*\.[0-9]*\.[0-9]*\|[a-zA-Z.]*\):"|cut -d : -f 1 + sgrep </etc/fstab "^\([0-9]*\.[0-9]*\.[0-9]*\.[0-9]*\|[a-zA-Z.]*\):"|cut -d : -f 1 end # Print hosts with known ssh keys |