#!/usr/bin/env bash

IMG=oduwsdl/wsdlthesis
USR=$(id -u):$(id -g)

CMD="docker container run --rm -it -v $PWD:/src -u $USR $IMG $@"

echo
echo Executing the following Docker command:
echo
echo $CMD
echo

$CMD

Add a helper script to run commands in Docker
Add a helper script to run commands in Docker
