about summary refs log tree commit diff
path: root/tools
diff options
context:
space:
mode:
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 $@
 ''