#!/bin/bash # crafty - wrapper around Crafty. if [ ! -e $HOME/.crafty ]; then mkdir -p $HOME/.crafty/log else if [ -e $HOME/.crafty/books ]; then export CRAFTY_BOOK_PATH=$HOME/.crafty/books fi if [ -e $HOME/.crafty/TB ]; then export CRAFTY_TB_PATH=$HOME/.crafty/TB fi fi export CRAFTY_LOG_PATH=$HOME/.crafty/log export CRAFTY_RC_PATH=$HOME/.crafty #Run the real crafty here crafty-run