diff options
author | Franck Cuny <franck@fcuny.net> | 2022-10-29 13:19:56 -0700 |
---|---|---|
committer | Franck Cuny <franck@fcuny.net> | 2022-10-29 13:19:56 -0700 |
commit | c6922efc1851604dd4ca09d0699e7d06f028ded8 (patch) | |
tree | 1a633df5199f6a3a5d40ed8d5b740ac8d4aaaa6e /home/shell/fish | |
parent | fix(tools): install dependencies correctly (diff) | |
download | world-c6922efc1851604dd4ca09d0699e7d06f028ded8.tar.gz |
fix(home): remove various shell functions related to gerrit
I'm not using gerrit anymore.
Diffstat (limited to 'home/shell/fish')
-rw-r--r-- | home/shell/fish/functions/rgerrit.fish | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/home/shell/fish/functions/rgerrit.fish b/home/shell/fish/functions/rgerrit.fish deleted file mode 100644 index 3aed310..0000000 --- a/home/shell/fish/functions/rgerrit.fish +++ /dev/null @@ -1,6 +0,0 @@ -# gerrit runs on tahoe, and we ssh to it through its tailscale -# network interface. -function rgerrit --description "execute gerrit commands" - set -lx gerrit_host (tailscale status --json | jq -r '.Peer | map(select(.HostName == "tahoe"))[0].TailscaleIPs[0]') - ssh $gerrit_host -p 29418 gerrit $argv -end |