| | 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 |
HCoop / hcoop / debian / mlton.git / blame_incremental