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