diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-07-17 13:38:02 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-07-17 13:38:02 +0100 |
commit | c18c170b7f31b4cb1499dfbc0a0d13e54de1df89 (patch) | |
tree | 40cb9d4b381715595fea93b1ed3e0ccc262a2ba6 /reproduce/analysis | |
parent | c85272705b7544edaf3dadda14581157fc18826c (diff) |
README.md now has description of building project in Docker
Docker is a "container" technology that allows an almost independent
operating system run on the host. It is useful when the host OS doesn't
support some features or has internal problems (for example its C library
or C compiler have problems). Fortunately a Maneaged project can easily be
built within a Docker image and a minimal image operating system.
With this commit, a section has been added to 'README.md' to describe this
process. Each step of the Dockerfile is explined, to help users that may
not be too familiar with Docker, or help Docker user who are not familiar
with Maneage.
Diffstat (limited to 'reproduce/analysis')
0 files changed, 0 insertions, 0 deletions