about summary refs log tree commit diff
path: root/tools/gerrit-cli.nix
diff options
context:
space:
mode:
authorGriffin Smith <grfn@gws.fyi>2020-06-16T00·54-0400
committerglittershark <grfn@gws.fyi>2020-06-16T01·54+0000
commit406a66bed11c273d279bc1470d44e80c354f8d98 (patch)
tree50ba61fd09f2192bc08d3ae7f666afb6f782c03a /tools/gerrit-cli.nix
parent929bb840a6fd007ca6d51e81974b150d25e5eb3a (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.nix13
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 $@
+''