GsDevKit_home
GsDevKit_home copied to clipboard
document setting up env vars for a given stone
If you want to manually run a $GEMSTONE/bin
command directly, you need $GEMSTONE, etc. set. Here's how:
pushd $GS_HOME/server/stones/<stone-name>
source defStone.env
popd