Update download.py

learnforpractice · Dec 29, 2021 · 96af834 · 96af834
1 parent a4b8ff1
commit 96af834
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/scripts/download.py b/scripts/download.py
@@ -1,5 +1,6 @@
 import os
 import sys
+import time
 import subprocess
 
 version = sys.argv[1]
@@ -23,5 +24,13 @@
 url = f'https://github.com/learnforpractice/mixin-python/releases/download/v{version}/'
 
 for f in files:
-    if not os.path.exists(f):
+    count = 60*60/10
+    while True:
+        print('Downloading {}'.format(f))
         subprocess.call(['wget', url + f])
+        if os.path.exists(f):
+            break
+        time.sleep(10)
+        count -= 1
+        if count <= 0:
+            break
diff --git a/tag.sh b/tag.sh
@@ -0,0 +1,6 @@
+VERSION=v0.2.3
+git push origin :refs/tags/$VERSION
+git tag -d $VERSION
+git tag $VERSION -F release.txt
+git push -f origin $VERSION
+