Skip to content

docker: add dockerfile#5

Open
wachino wants to merge 1 commit into
mit-pdos:masterfrom
wachino:add-dockerfile
Open

docker: add dockerfile#5
wachino wants to merge 1 commit into
mit-pdos:masterfrom
wachino:add-dockerfile

Conversation

@wachino

@wachino wachino commented Oct 27, 2018

Copy link
Copy Markdown
  • Added Dockerfile to be able to run the project easily for each OS.
  • Added doc in README file about how to run the project using docker.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant