dist: Remove Dockerfile in favour of separate repo #5789
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
See https://github.com/RIOT-OS/riotdocker for an up-to-date Dockerfile.
jnohlgard
added
Type: cleanup
miri64
added
the
CI: ready for build
|
ACK and go. Don't think we need to wait for Murdock for this ;-) |
|
Please also update the doc https://github.com/RIOT-OS/RIOT/wiki/Use-Docker-to-build-RIOT, it misled..... |
|
@tingxin I updated the wiki instructions now. Tell me if something does not work or doesn't make sense. |
|
@gebart Thank you good doc, i follow it and try it again, it works well, good job! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Replaces #5770.
See https://github.com/RIOT-OS/riotdocker for an up-to-date Dockerfile.
Pre-built images at https://hub.docker.com/r/riot/riotbuild/
use
docker pull riot/riotbuildto download using the Docker command line tools.