#! /bin/bash

cd "$(dirname "${BASH_SOURCE[0]}")"

set -e
set -u

docker build \
   -t dev:dev \
   . 

PORT=41241
echo PORT $PORT
docker run \
   --rm \
   -it \
   --name dev \
   -p $PORT:41241 \
   --shm-size=4g \
   -v $PWD:/mnt \
   dev:dev \
   2>&1