ssh: make sure grep command is called

julian7 · Feb 10, 2016 · 5e9b81b · 5e9b81b
1 parent d7b410a
commit 5e9b81b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/zsh.d/ssh.zsh b/zsh.d/ssh.zsh
@@ -1,7 +1,7 @@
 : ${HOSTNAME:=$(hostname)}
 : ${SSHTOKEN:=$HOME/.ssh/token-$HOSTNAME}
 function _save_ssh_agent() {
-  set | grep -a SSH_AUTH_SOCK > $SSHTOKEN
+  set | command grep -a SSH_AUTH_SOCK > $SSHTOKEN
 }
 
 function _set_ssh_agent() {