diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gerrit-cli.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gerrit-cli.nix b/tools/gerrit-cli.nix index 853f59fb63..05c54da331 100644 --- a/tools/gerrit-cli.nix +++ b/tools/gerrit-cli.nix @@ -4,7 +4,7 @@ pkgs.writeShellScriptBin "gerrit" '' TVL_USERNAME=''${TVL_USERNAME:-$(whoami)} - if $(which ssh 2>/dev/null); then + if which ssh 2>/dev/null; then ssh=ssh else ssh="${pkgs.openssh}/bin/ssh" |