From 7ce75e503d51bf0a748246bd7bbd6e4d2c6c0a9d Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Mon, 1 Jun 2009 11:20:49 -0700
Subject: [PATCH] Adding cdfactor script.

---
 misc/bash/cdfactor.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 misc/bash/cdfactor.sh

diff --git a/misc/bash/cdfactor.sh b/misc/bash/cdfactor.sh
new file mode 100755
index 0000000000..cee2d3ac77
--- /dev/null
+++ b/misc/bash/cdfactor.sh
@@ -0,0 +1,18 @@
+#!/bin/bash 
+
+# change directories to a factor module
+function cdfactor { 
+    code=$(printf "USING: io io.pathnames vocabs vocabs.loader ; "
+           printf "\"%s\" <vocab> vocab-source-path (normalize-path) print" $1)
+    echo $code > $HOME/.cdfactor
+    fn=$(factor $HOME/.cdfactor)
+    dn=$(dirname $fn)
+    echo $dn
+    if [ -z "$dn" ]; then
+        echo "Warning: directory '$1' not found" 1>&2
+    else
+        cd $dn
+    fi
+}
+
+