diff options
| author | Luke Granger-Brown <hg@lukegb.com> | 2020-06-21T23·29+0100 |
|---|---|---|
| committer | lukegb <lukegb@tvl.fyi> | 2020-06-21T23·49+0000 |
| commit | 68779da59612dc467425a63f78fb34f5e53af8e0 (patch) | |
| tree | 1af6978d2c3d79b593ba50856bbd8994d62f3aa7 /tools | |
| parent | 4de63f784c53f5400cc454f6faadc907b34f4ac2 (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.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/gerrit-cli.nix b/tools/gerrit-cli.nix index 05c54da331..1606155a80 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 $@ '' |