- # chdir to a directory
- cdgitpath() {
- if [ $# -ne 1 ]; then
- echo "Usage: cdgitpath path_key" >&2
- return 1
- fi
-
- path_key="$1"
- if [ -z "$path_key" ]; then
- echo "Usage: cdgitpath path_key" >&2
- return 1
- fi
-
- path_url="`git config --get --path $path_key`"
- if echo "$path_url" | grep -q '^file:/'; then
- path_url="`echo \"$path_url\" | sed 's@^file:/\+@/@'`"
- fi
- cd "$path_url"
- }
-