Update place_a_dockerfile_in_current_eos_repo.py

ersilia-os · May 10, 2023 · 5f09780 · 5f09780
1 parent 3cf5c26
commit 5f09780
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/scripts/place_a_dockerfile_in_current_eos_repo.py b/.github/scripts/place_a_dockerfile_in_current_eos_repo.py
@@ -1,11 +1,12 @@
 import os
 import sys
 import requests
+import shutil
 
 model_id = sys.argv[1]
 
 if os.path.exists("Dockerfile"):
- os.move("Dockerfile", "Dockerfile_legacy")
+ shutil.move("Dockerfile", "Dockerfile_legacy")
 
 def download_file(url, filename):
  r = requests.get(url, allow_redirects=True)