Files
repo-tools/init.bash
Lucas Wilson-Richter 17159b20c1 Add an init script for the shell
Since I imagine there will be more of this kind of thing
2024-05-19 22:15:55 +10:00

7 lines
250 B
Bash

# Source this into your shell config, e.g. ~/.zshrc
# Bash scripts can't change the working directory of their callers. This is
# right and proper, but we need to work around it in this case.
#
repo () { cd $($(dirname ${BASH_SOURCE[0]})/repo $@) }