git.lirion.de

Of git, get, and gud

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authormail_redacted_for_web 2022-03-22 08:48:06 +0100
committermail_redacted_for_web 2022-03-22 08:48:06 +0100
commit2db3e49f0f47819061234e2693f4d64d2caf8bfd (patch)
tree83d9753351582842cbb545325b82593a67ac9b0e
parentd625e8b0eb5aa249d44aca1c91b7bf6408dd8795 (diff)
downloaddotfiles-2db3e49f0f47819061234e2693f4d64d2caf8bfd.tar.bz2
Hide grep output
-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