misc/bash: minor updates to cdfactor script.

diff --git a/misc/bash/cdfactor.sh b/misc/bash/cdfactor.sh
index f6d4e174c43fda52182051b76521c254a62eb669..a7ea6c1058fe98c9c34a950b583d92197a3d6c62 100755 (executable)
--- a/misc/bash/cdfactor.sh
+++ b/misc/bash/cdfactor.sh
@@ -1,11 +1,10 @@
-#!/bin/bash 
+#!/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 absolute-path print" $1)
-    echo $code > $HOME/.cdfactor
-    fn=$(factor $HOME/.cdfactor)
+function cdfactor {
+    code=$(printf "USING: io io.backend vocabs vocabs.loader ; "
+           printf "\"%s\" <vocab> vocab-source-path normalize-path print" $1)
+    fn=$(factor -e="$code")
     dn=$(dirname $fn)
     echo $dn
     if [ -z "$dn" ]; then
@@ -14,5 +13,3 @@ function cdfactor {
         cd $dn
     fi
 }
-
-