Update docker-pull.sh

wxh06 · Jun 27, 2020 · 3ff739c · 3ff739c
1 parent 7e0d995
commit 3ff739c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -38,7 +38,8 @@ pytest:
 
 
 docker-pull:
-	sh docker-pull.sh
+	chmod +x docker-pull.sh
+	./docker-pull.sh
 
 
 lint: flake8 pylint

diff --git a/docker-pull.sh b/docker-pull.sh
@@ -1,3 +1,5 @@
+#!/bin/sh
+set -v
 docker pull bash  # For bash
 docker pull clangbuiltlinux/ubuntu:llvm10-latest  # For clang-10 & clang++-10
 docker pull clangbuiltlinux/ubuntu:llvm11-latest  # For clang-11 & clang++-11
@@ -8,8 +10,8 @@ docker pull mono  # For csc, vbnc & mono
 docker pull node:12  # For node
 docker pull openjdk  # For javac and java
 docker pull php  # For php
-docker pull pypy:3  # For pypy3
 docker pull pypy:2  # For pypy2
-docker pull python:3  # For python3
+docker pull pypy:3  # For pypy3
 docker pull python:2  # For python2
+docker pull python:3  # For python3
 docker pull ruby  # For ruby