#!/bin/bash CORE=`pwd`/`dirname $0`"/core" EXTRA=`pwd`/`dirname $0`"/extra" cd && `which scion` "-p $CORE -p $EXTRA" $*