| 
									
										
										
										
											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 | 
					
						
							|  |  |  | } |