diff options
Diffstat (limited to 'tools/gerrit-cli.nix')
| -rw-r--r-- | tools/gerrit-cli.nix | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/gerrit-cli.nix b/tools/gerrit-cli.nix new file mode 100644 index 0000000000..1606155a80 --- /dev/null +++ b/tools/gerrit-cli.nix @@ -0,0 +1,13 @@ +# Utility script to run a gerrit command on the depot host via ssh. +# Reads the username from TVL_USERNAME, or defaults to $(whoami) +{ pkgs, ... }: + +pkgs.writeShellScriptBin "gerrit" '' + TVL_USERNAME=''${TVL_USERNAME:-$(whoami)} + if which ssh &>/dev/null; then + ssh=ssh + else + ssh="${pkgs.openssh}/bin/ssh" + fi + exec $ssh $TVL_USERNAME@code.tvl.fyi -p 29418 -- gerrit $@ +'' |