.shellrc: add function cdremote

Change current directory to a remote's directory
(if the remote is on the local FS).

diff --git a/.shellrc b/.shellrc
index 860ba44f609fc9d1543e7a94b4eaa9e9f7299291..1ac77cf020889adce2ce9de1101294bfe92e285a 100644 (file)
--- a/.shellrc
+++ b/.shellrc
@@ -164,6 +164,14 @@ KillAll() {
 }
 
 
+# git-related
+
+# chdir to a remote's directory (if the remote is on the local FS)
+cdremote() {
+   cd "`git config --get remote.$1.url`"
+}
+
+
 include()
 {
    cfg="$1"