mirror of
https://github.com/ChristianLight/tutor.git
synced 2025-02-11 13:48:30 +00:00
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.