Spaces:
Running
Running
lively_dir="$PWD/LivelyKernel" | |
squeakjs_dir=`dirname $PWD` | |
container_name="squeakjs-lively" | |
# if no docker image, build it | |
docker image inspect $container_name > /dev/null 2>&1 | |
if [[ $? -ne 0 ]] ; then | |
echo "Building docker image" | |
docker build --rm -t $container_name . | |
fi | |
mkdir -p $lively_dir | |
# if the lively dir is empty first install it | |
dir_content=`ls -A "$lively_dir" 2>/dev/null` | |
if [[ -z $dir_content ]]; then | |
pushd $lively_dir; | |
branch=${git_branch-master} | |
git clone --branch $branch --single-branch https://github.com/LivelyKernel/LivelyKernel . | |
popd | |
fi | |
shutdown() { | |
echo "Stopping container..." | |
docker ps --filter "ancestor=$container_name" -q | xargs docker stop | |
} | |
trap shutdown SIGTERM SIGKILL SIGINT | |
echo "Starting docker" | |
docker run --rm -ti \ | |
-v $lively_dir:/home/lively/LivelyKernel \ | |
-v $squeakjs_dir:/home/lively/LivelyKernel/users/SqueakJS \ | |
-p 9001-9004:9001-9004 \ | |
-t $container_name | |