Régis Behmo 70d2ef37d3 Do not pull images as part of local quickstart ...

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.

2019-03-09 11:17:23 +01:00

..

clean.sh

Add cloud-cleaning script

2019-02-17 13:49:31 +01:00

ubuntu.sh

Do not pull images as part of local quickstart

2019-03-09 11:17:23 +01:00