about summary refs log tree commit diff
path: root/tools
diff options
context:
space:
mode:
authorLuke Granger-Brown <hg@lukegb.com>2020-06-21T23·29+0100
committerlukegb <lukegb@tvl.fyi>2020-06-21T23·49+0000
commit68779da59612dc467425a63f78fb34f5e53af8e0 (patch)
tree1af6978d2c3d79b593ba50856bbd8994d62f3aa7 /tools
parent4de63f784c53f5400cc454f6faadc907b34f4ac2 (diff)
fix(gerrit-cli): don't output the path to SSH if it's on the path r/1056
Change-Id: Ic5ef3e9ae7984cc6c84ef99553bc94a7d44c3929
Reviewed-on: https://cl.tvl.fyi/c/depot/+/551
Reviewed-by: tazjin <mail@tazj.in>
Diffstat (limited to 'tools')
-rw-r--r--tools/gerrit-cli.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/gerrit-cli.nix b/tools/gerrit-cli.nix
index 05c54da331f4..1606155a8068 100644
--- a/tools/gerrit-cli.nix
+++ b/tools/gerrit-cli.nix
@@ -4,10 +4,10 @@
 
 pkgs.writeShellScriptBin "gerrit" ''
   TVL_USERNAME=''${TVL_USERNAME:-$(whoami)}
-  if which ssh 2>/dev/null; then
+  if which ssh &>/dev/null; then
     ssh=ssh
   else
     ssh="${pkgs.openssh}/bin/ssh"
   fi
-  $ssh $TVL_USERNAME@code.tvl.fyi -p 29418 -- gerrit $@
+  exec $ssh $TVL_USERNAME@code.tvl.fyi -p 29418 -- gerrit $@
 ''