diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-04-25 23:52:22 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-04-25 23:59:41 +0100 |
commit | 5a6e6e667b6263424135eec34e9d49da51449936 (patch) | |
tree | 69e51548e6a57b221d06a0652fd5c1830c16614f /reproduce/analysis/config/pdf-build.mk | |
parent | 6e4ec9a305f7021643fe22e08fe0ad17dd363a93 (diff) |
README.md: edited steps to only build software env in Docker image
Until now, while the series of steps mentioned in 'README.md' were
complete, they had some implicit thing in them that made it a little hard
to run as a checklist (the commands to do some basic things weren't
included). Also, it was recommending to run a long 'docker run ...'
command, which wasn't too user friendly.
With this commit, the series of steps is now a complete checklist,
containing every step. Also, the checklist now recommends putting the long
'docker run' command inside a script called 'docker-run' that will also do
a 'sudo' internally (thus making things very easy for a first-time user).
Also, since the 'docker-run' script contains host OS-specific directory
names, it should not be under control, so it has been added to the
'.gitignore' file in case users decide to keep this same name (which is
recommended).
Diffstat (limited to 'reproduce/analysis/config/pdf-build.mk')
0 files changed, 0 insertions, 0 deletions