epfl_cs451/docker/run-example.sh

#!/bin/bash

docker run  -it --rm  da_image /bin/bash
Add docker recipe 2020-09-15 10:56:10 +02:00			`#!/bin/bash`

Improvements 2020-11-13 17:40:09 +01:00			`docker run -it --rm da_image /bin/bash`