Import Upstream version 20180207
[hcoop/debian/mlton.git] / bin / run-docker
1 #!/bin/bash
2
3 NAME="mlton-run-docker"
4
5 # Remove any containers which already have $NAME.
6 docker image rm $NAME
7
8 # build container, and assign it tag $NAME
9 docker build -t $NAME .
10
11 # run container with the tag $NAME.
12 docker run --rm -it $NAME