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 | |
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 '')
-rw-r--r-- | home/shell/fish/functions/rgerrit.fish | 6 | ||||
-rw-r--r-- | home/shell/zsh/default.nix | 1 | ||||
-rw-r--r-- | home/shell/zsh/gerrit.zsh | 5 |
3 files changed, 0 insertions, 12 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 diff --git a/home/shell/zsh/default.nix b/home/shell/zsh/default.nix index b5858e9..ffc6c41 100644 --- a/home/shell/zsh/default.nix +++ b/home/shell/zsh/default.nix @@ -43,7 +43,6 @@ in initExtra = lib.concatMapStrings builtins.readFile [ ./sway.zsh ./completion-style.zsh - ./gerrit.zsh ./options.zsh ./prompt.zsh ./tmux.zsh 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 $@ -} |