git.lirion.de

Of git, get, and gud

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.bash/exec.bash2
1 files changed, 1 insertions, 1 deletions
diff --git a/.bash/exec.bash b/.bash/exec.bash
index ffbeaae..962f77a 100644
--- a/.bash/exec.bash
+++ b/.bash/exec.bash
@@ -7,7 +7,7 @@ set bell-style visible
# start ssh agent. this script will not try to run a new instance
# (unless we specified -f, which we don't).
-if echo "${SSHAGH[@]}" | fgrep --word-regexp "$(hostname -f)";then
+if echo "${SSHAGH[@]}" | fgrep --word-regexp "$(hostname -f)" > /dev/null;then
"$HOME/bin/ssh-agent-launcher" -q
fi
868020f3c0d0f599cb4'>distribution mechanism, more targets in makeH. P. 2022-03-213-4/+40 | * Makefile and distribute dir for "git-less" serversH. P. 2022-03-212-0/+10 | * adding distribute folder for servers which cannot reach git