zshrc.d/15-completion.zrc
changeset 44 157f894ef9f7
parent 35 c6d405e0684b
--- a/zshrc.d/15-completion.zrc	Wed May 08 15:18:39 2019 +0200
+++ b/zshrc.d/15-completion.zrc	Mon Mar 02 13:16:10 2020 +0100
@@ -18,10 +18,10 @@
 
 # Hosts completion
 
-if [ -f ~/.ssh/config ]; then
+if [[ -f ~/.ssh/config ]]; then
   hosts=($hosts `grep ^Host ~/.ssh/config | sed s/Host\ // | egrep -v '^\*$'`)
 fi
-if [ "$hosts" ]; then
+if [[ "$hosts" ]]; then
   zstyle ':completion:*:hosts' hosts $hosts
 fi