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