caba9ae0347b5b52b65bccc27ff420cb77b71720
- Author
- Florian <florian.pabler@icloud.com>
- Committer
- GitHub <noreply@github.com>
- Date
Message
fix(ssh): use `grep -E` instead of `egrep` (#13380)
Diff
1diff --git a/plugins/ssh/ssh.plugin.zsh b/plugins/ssh/ssh.plugin.zsh
2index b5b050536afa236c1022270571ad9528c9cf53ac..24ad8802866f90bd9f2be9048c94f28cfb32c77d 100644
3--- a/plugins/ssh/ssh.plugin.zsh
4+++ b/plugins/ssh/ssh.plugin.zsh
5@@ -5,7 +5,7 @@
6 _ssh_configfile="$HOME/.ssh/config"
7 if [[ -f "$_ssh_configfile" ]]; then
8 _ssh_hosts=($(
9- egrep '^Host.*' "$_ssh_configfile" |\
10+ grep -E '^Host.*' "$_ssh_configfile" |\
11 awk '{for (i=2; i<=NF; i++) print $i}' |\
12 sort |\
13 uniq |\