tvl-depot/tools/gerrit-cli.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 &>/dev/null; then
    ssh=ssh
  else
    ssh="${pkgs.openssh}/bin/ssh"
  fi
  exec $ssh $TVL_USERNAME@code.tvl.fyi -p 29418 -- gerrit $@
''
feat(gerrit-cli): Add gerrit CLI script 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> 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)}`
fix(gerrit-cli): don't output the path to SSH if it's on the path Change-Id: Ic5ef3e9ae7984cc6c84ef99553bc94a7d44c3929 Reviewed-on: https://cl.tvl.fyi/c/depot/+/551 Reviewed-by: tazjin <mail@tazj.in> 2020-06-22 01:29:09 +02:00			`if which ssh &>/dev/null; then`
feat(gerrit-cli): Add gerrit CLI script 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> 2020-06-16 02:54:26 +02:00			`ssh=ssh`
			`else`
			`ssh="${pkgs.openssh}/bin/ssh"`
			`fi`
fix(gerrit-cli): don't output the path to SSH if it's on the path Change-Id: Ic5ef3e9ae7984cc6c84ef99553bc94a7d44c3929 Reviewed-on: https://cl.tvl.fyi/c/depot/+/551 Reviewed-by: tazjin <mail@tazj.in> 2020-06-22 01:29:09 +02:00			`exec $ssh $TVL_USERNAME@code.tvl.fyi -p 29418 -- gerrit $@`
feat(gerrit-cli): Add gerrit CLI script 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> 2020-06-16 02:54:26 +02:00			`''`