diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-08-25 23:03:01 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-08-25 23:03:01 +0100 |
commit | 9a0d968cde844304acc6c48f107184b71ce304fc (patch) | |
tree | 31fd434d677a497b5df7ad1a0f05c880ebad40d4 /reproduce/analysis/make | |
parent | 9573d4e4d4754e629b73be4bd6846a049d57f427 (diff) |
README.md: added explanation on copying files from Docker image
When building Maneage inside a Docker container, in the end the users want
to extract the final outputs from the container into their host operating
system to inspect more comfortably. So with this commit, a short
examplanation has been added on how to do this.
We also noticed that it is much better if the 'Dockerfile' is stored and
run in an empty directory, otherwise, it will start parsing the full
directory and its subdirectories as the docker image's environment.
Diffstat (limited to 'reproduce/analysis/make')
0 files changed, 0 insertions, 0 deletions