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/zsh/gerrit.zsh | |
| parent | fix(tools): install dependencies correctly (diff) | |
| download | infra-c6922efc1851604dd4ca09d0699e7d06f028ded8.tar.gz | |
fix(home): remove various shell functions related to gerrit
I'm not using gerrit anymore.
Diffstat (limited to '')
| -rw-r--r-- | home/shell/zsh/gerrit.zsh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/home/shell/zsh/gerrit.zsh b/home/shell/zsh/gerrit.zsh deleted file mode 100644 index 9766b2f..0000000 --- a/home/shell/zsh/gerrit.zsh +++ /dev/null @@ -1,5 +0,0 @@ -function rgerrit() { - # gerrit runs on tahoe, and we ssh to it through its tailscale - # network interface. - ssh $(tailscale status --json | jq -r '.Peer | map(select(.HostName == "tahoe"))[0].TailscaleIPs[0]') -p 29418 gerrit $@ -} |