bin/cleanup-filenames.sh: Remove accents

[dotfiles.git] / .shellrc

diff --git a/.shellrc b/.shellrc
index 78beaf7ad6991ee6e20a79304de731d21dc89dae..5d46454aebef3e37633c23599d11aeb52fdf588d 100644 (file)
--- a/.shellrc
+++ b/.shellrc
@@ -52,6 +52,44 @@ if [ -n "$STY" -a "$WINDOW" != 0 ]; then
     unset MAILCHECK
 fi
 
+if test -x /usr/bin/git >/dev/null 2>&1; then
+    # 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"
+    }
+
+    # See https://stackoverflow.com/a/77266926/7976758
+
+    cd_worktree() {
+        if [ $# -ne 1 ]; then
+            echo "Usage: cd_worktree <branch>" >&2
+            return 1
+        fi
+        path="$(git worktree list | grep -F "$1" | awk '{print $1}')"
+        if [ -n "$path" ]; then
+            cd "$path"
+        else
+            echo "Cannot find path for branch '$1'" >&2
+            return 1
+        fi
+    }
+fi
+
 include() {
     cfg="$1"
     shift