[Update] Fetch before prefetch

master
andryyy 2019-08-04 09:23:19 +02:00
parent 1ad1413d08
commit 1db8317a6b
No known key found for this signature in database
GPG Key ID: 8EC34FF2794E25EF
1 changed files with 1 additions and 0 deletions

View File

@ -27,6 +27,7 @@ BRANCH=$(git rev-parse --abbrev-ref HEAD)
function prefetch_images() { function prefetch_images() {
[[ -z ${BRANCH} ]] && { echo -e "\e[33m\nUnknown branch...\e[0m"; exit 1; } [[ -z ${BRANCH} ]] && { echo -e "\e[33m\nUnknown branch...\e[0m"; exit 1; }
git fetch origin #${BRANCH}
while read image; do while read image; do
RET_C=0 RET_C=0
until docker pull ${image}; do until docker pull ${image}; do