|
@@ -124,16 +124,6 @@ def update_readme(info):
|
|
|
readme.write(scriptdesc)
|
|
|
|
|
|
|
|
|
-def renameexe():
|
|
|
- origname = "setup.exe"
|
|
|
- newname = "WinGIN-install.exe"
|
|
|
- if not os.path.exists(origname):
|
|
|
- print("Error: Missing file {}".format(origname))
|
|
|
- sys.exit("aborting")
|
|
|
- print("--> Renaming {} → {}".format(origname, newname))
|
|
|
- os.rename(origname, newname)
|
|
|
-
|
|
|
-
|
|
|
def update_verinfo(info):
|
|
|
with open("version", "w") as verfile:
|
|
|
verfile.write(info["version"])
|
|
@@ -157,8 +147,10 @@ def main():
|
|
|
sys.exit("aborting")
|
|
|
print(f"Found {len(artifacts)} artifacts")
|
|
|
for url in artifacts:
|
|
|
- dlfiles.append(download(url))
|
|
|
- renameexe()
|
|
|
+ fname = None
|
|
|
+ if url.endswith("setup.exe"):
|
|
|
+ fname = "WinGIN-install.exe"
|
|
|
+ dlfiles.append(download(url, fname))
|
|
|
save_etags()
|
|
|
print("Updating README.md")
|
|
|
update_readme(avinfo)
|