7x31/gcr.io_mirror
1
0
Fork 0
mirror of https://github.com/anjia0532/gcr.io_mirror.git synced 2025-09-23 12:19:22 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update deploy.sh

Browse Source
This commit is contained in:
AnJia
2018-10-11 09:12:13 +08:00
committed by GitHub
parent 636391ef0d
commit e4e11abdef
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
deploy.sh
View File

@@ -116,8 +116,8 @@ function pull_push_diff()
# sleep 1 min when insufficient disk
space_used=$(($my_space*4+$space))
space_used=$((${my_space:-1048576}*4+${space:-0}))
# cat ./abc 2>/dev/null || echo google-containers
[[ ${space_used} -gt ${avail} || ${used} > '70%' ]] && docker system prune -f -a && sleep 120 && break;
echo -e "${yellow}mirror ${n}/${img}/${tag}...${plain}"