docker-build-and-run.sh

#!/bin/bash

set -e

echo "$@"

if [ -f .dockername ]
then
	N=$(cat .dockername)
else
	N=$(basename $(pwd))-$$
	echo $N > .dockername
fi

echo "Using docker image id $N" 1>&2

if [ -t 0 ]
then
	TTYFLAG=" -t "
else
	TTYFLAG=" "
fi

docker build -t $N . 1>&2
# docker tag   -f $N $N:squashed 1>&2
docker run $TTYFLAG -a stdin -a stdout -a stderr --env-file <(env) -P -i $N $@