diff options
| author | mail_redacted_for_web | 2022-03-22 08:48:06 +0100 |
|---|---|---|
| committer | mail_redacted_for_web | 2022-03-22 08:48:06 +0100 |
| commit | 2db3e49f0f47819061234e2693f4d64d2caf8bfd (patch) | |
| tree | 83d9753351582842cbb545325b82593a67ac9b0e /.bash | |
| parent | d625e8b0eb5aa249d44aca1c91b7bf6408dd8795 (diff) | |
| download | dotfiles-2db3e49f0f47819061234e2693f4d64d2caf8bfd.tar.bz2 | |
Hide grep output
Diffstat (limited to '.bash')
| -rw-r--r-- | .bash/exec.bash | 2 |
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 |