19 lines
438 B
Bash
19 lines
438 B
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 (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
|
||
|
|
}
|
||
|
|
|
||
|
|
|