#98: Docker instructions enhancement and clearer script output

researchart / rose6icse

12 stars 71 forks source link

Closed hlibbabii closed 4 years ago

hlibbabii commented 4 years ago

As was discussed in #98, this pull request:

adds instructions to the README on how to recreate a docker-machine in case of error;
makes the output of the scripts run inside the docker container more clear.