7f918cf1 CE |
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 |