#! /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