diff options
| author | Franck Cuny <franck@fcuny.net> | 2022-06-19 15:57:45 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2022-06-20 14:39:35 -0700 |
| commit | b5c428822468b9a2dfb00a673c39e809f4ac0651 (patch) | |
| tree | 54e2190f9b20ce11827d0d5b10da2a96c135437a /home/shell/zsh/gerrit.zsh | |
| parent | feat(tools/seqstat): add a tool to report stats about a sequence (diff) | |
| download | infra-b5c428822468b9a2dfb00a673c39e809f4ac0651.tar.gz | |
ref(home/shell): make it easier to share common things between shells
I'm considering trying again fish, and there are a number of things that
should be common between zsh and fish (aliases, environment variables,
...).
Instead of duplicating these settings multiple time, I'm consolidating
the shell configurations under `home/shell`, and I can set the shell I
want to use with `my.home.shell.name`.
The first step is to move the modules for fish and zsh under
`home/shell`, add an interface to pick which one I want to use, and
modify the `host/home.nix` configuration to keep using zsh with the new
interface.
Change-Id: Idb66b1a6fcc11a6eeaf5fd2d32dd3698d2d85bdf
Reviewed-on: https://cl.fcuny.net/c/world/+/455
Tested-by: CI
Reviewed-by: Franck Cuny <franck@fcuny.net>
Diffstat (limited to 'home/shell/zsh/gerrit.zsh')
| -rw-r--r-- | home/shell/zsh/gerrit.zsh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/home/shell/zsh/gerrit.zsh b/home/shell/zsh/gerrit.zsh new file mode 100644 index 0000000..9766b2f --- /dev/null +++ b/home/shell/zsh/gerrit.zsh @@ -0,0 +1,5 @@ +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 $@ +} |