2014-11-29 23:19:11 -05:00
|
|
|
#!/bin/bash
|
2009-06-01 14:20:49 -04:00
|
|
|
|
|
|
|
# change directories to a factor module
|
2014-11-29 23:19:11 -05:00
|
|
|
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")
|
2009-06-01 14:20:49 -04:00
|
|
|
dn=$(dirname $fn)
|
|
|
|
echo $dn
|
|
|
|
if [ -z "$dn" ]; then
|
|
|
|
echo "Warning: directory '$1' not found" 1>&2
|
|
|
|
else
|
|
|
|
cd $dn
|
|
|
|
fi
|
|
|
|
}
|