Weiyi Lou b07904d13c Update shell comments, rename gitp `branch` to `decoration` 10 lat temu
..
bash f75c57fad0 Clean up usage messages for executable scripts 10 lat temu
common b07904d13c Update shell comments, rename gitp `branch` to `decoration` 10 lat temu
man 1cbab22714 Initial migration of shell config 10 lat temu
zsh fd4069903a Ignore zsh completion initialisation audit 10 lat temu
bash_profile 1cbab22714 Initial migration of shell config 10 lat temu
bashrc 3fb16abc00 Split local files into `rc` and `env` files 10 lat temu
env 3fb16abc00 Split local files into `rc` and `env` files 10 lat temu
zshrc 3fb16abc00 Split local files into `rc` and `env` files 10 lat temu