about summary refs log tree commit diff
path: root/home/shell/zsh/gerrit.zsh (follow)
Commit message (Collapse)AuthorAgeFilesLines
* fix(home): remove various shell functions related to gerritFranck Cuny2022-10-291-5/+0
| | | | I'm not using gerrit anymore.
* ref(home/shell): make it easier to share common things between shellsFranck Cuny2022-06-201-0/+5
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>