misc/bash/cdfactor.sh

   1 #!/bin/bash
   2
   3 # change directories to a factor module
   4 function cdfactor {
   5     code=$(printf "USING: io io.backend vocabs vocabs.loader ; "
   6            printf "\"%s\" <vocab> vocab-source-path normalize-path print" $1)
   7     fn=$(factor -e="$code")
   8     dn=$(dirname $fn)
   9     echo $dn
  10     if [ -z "$dn" ]; then
  11         echo "Warning: directory '$1' not found" 1>&2
  12     else
  13         cd $dn
  14     fi
  15 }