diff --git a/init.bash b/init.bash new file mode 100644 index 0000000..9bc46e2 --- /dev/null +++ b/init.bash @@ -0,0 +1,6 @@ +# 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 $@) }