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 |\