diff options
| author | Griffin Smith <grfn@gws.fyi> | 2020-06-16T00·54-0400 |
|---|---|---|
| committer | glittershark <grfn@gws.fyi> | 2020-06-16T01·54+0000 |
| commit | 406a66bed11c273d279bc1470d44e80c354f8d98 (patch) | |
| tree | 50ba61fd09f2192bc08d3ae7f666afb6f782c03a /tools/gerrit-cli.nix | |
| parent | 929bb840a6fd007ca6d51e81974b150d25e5eb3a (diff) | |
feat(gerrit-cli): Add gerrit CLI script r/983
Add a script to run gerrit commands on the depot host, which reads the gerrit username from the TVL_USERNAME env var or $(whoami) by default. At some point this may want to solve the configuration problem in a more general fashion, but for now this seems relatively obvious. Change-Id: Ied91c1d26daf4770aef74b2e755d1760c486bb7b Reviewed-on: https://cl.tvl.fyi/c/depot/+/396 Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: glittershark <grfn@gws.fyi>
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 000000000000..853f59fb63aa --- /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 2>/dev/null); then + ssh=ssh + else + ssh="${pkgs.openssh}/bin/ssh" + fi + $ssh $TVL_USERNAME@code.tvl.fyi -p 29418 -- gerrit $@ +'' |