406a66bed1
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>
13 lines
383 B
Nix
13 lines
383 B
Nix
# 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 $@
|
|
''
|