2020-06-16 02:54:26 +02:00
|
|
|
# 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)}
|
2020-06-16 15:59:47 +02:00
|
|
|
if which ssh 2>/dev/null; then
|
2020-06-16 02:54:26 +02:00
|
|
|
ssh=ssh
|
|
|
|
else
|
|
|
|
ssh="${pkgs.openssh}/bin/ssh"
|
|
|
|
fi
|
|
|
|
$ssh $TVL_USERNAME@code.tvl.fyi -p 29418 -- gerrit $@
|
|
|
|
''
|