Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| doc:docker:dev [2015/03/31 12:50] – [Building Docker images] daniel86 | doc:docker:dev [2015/03/31 12:51] (current) – [Sharing images via Docker hub] daniel86 | ||
|---|---|---|---|
| Line 39: | Line 39: | ||
| # download images (this can also be done with the ' | # download images (this can also be done with the ' | ||
| docker pull knowrob/ | docker pull knowrob/ | ||
| - | docker pull knowrob/ | ||
| docker pull knowrob/ | docker pull knowrob/ | ||
| docker pull knowrob/ | docker pull knowrob/ | ||
| + | docker pull openease/ | ||
| [...] | [...] | ||
| </ | </ | ||

