From 0f69430f8d9fe468b4636b8a354cd99c62bef22a Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sat, 29 Nov 2014 20:19:11 -0800 Subject: [PATCH] misc/bash: minor updates to cdfactor script. --- misc/bash/cdfactor.sh | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) diff --git a/misc/bash/cdfactor.sh b/misc/bash/cdfactor.sh index f6d4e174c4..a7ea6c1058 100755 --- 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-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-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 } - -