mirror of
https://github.com/ChristianLight/tutor.git
synced 2025-01-22 13:18:24 +00:00
70d2ef37d3
Pulling images is slow, often unnecessary, and sometimes suprising for the user, as the newer images may break the older tutor version. Instead, we add a "--pullimages" option to "quickstart" to explicitely update docker images.