From 976453c838d23ddaeb49f0244b8584d8d08753bb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9gis=20Behmo?= Date: Wed, 6 Mar 2019 16:43:20 +0100 Subject: [PATCH] Fix "android pullimage" command --- CHANGELOG.md | 2 ++ tutor/android.py | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 315e1b2..6c05d46 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,8 @@ ## Latest +- [Bugfix] Fix "android pullimage" command +- [Improvement] Do not upgrade images as part of quickstart - [Bugfix] Fix USERID setup in development mode and various dev-related docs (#177) ## 3.0.6 (2019-02-26) diff --git a/tutor/android.py b/tutor/android.py index 7ba1928..1afc18d 100644 --- a/tutor/android.py +++ b/tutor/android.py @@ -53,7 +53,7 @@ def release(root): help="Pull the docker image" ) @opts.root -def pullimage(): +def pullimage(root): utils.execute("docker", "pull", DOCKER_IMAGE) def docker_run(root, *command):