mirror of
https://github.com/cosinekitty/astronomy.git
synced 2026-01-17 03:50:11 -05:00
7435134445
The Windows version of the GitHub Actions tests require downloading Doxygen binaries. Every now and then this step would break when Doxygen updates their version numbers. Added a Python script to scrape the Doxygen website to determine the correct URL to download. commit_hook.bat calls the Python script to determine the URL, so I don't have to keep manually updating it.
34 lines
1.1 KiB
Python
Executable File
34 lines
1.1 KiB
Python
Executable File
#!/usr/bin/env python3
|
|
#
|
|
# Utility for finding the current link for downloading a
|
|
# zip file with Doxygen binaries for Windows.
|
|
# Doxygen conveniently provides us the latest version of Windows
|
|
# binaries for us to download on their website.
|
|
# Not so conveniently, they periodically rename the zip file
|
|
# when they release a new version number, which broke my GitHub Actions
|
|
# scripts. So I created this Python script to scrape the
|
|
# current download link from their website.
|
|
#
|
|
import sys
|
|
import re
|
|
import urllib.request
|
|
|
|
def DoxygenLink():
|
|
url = 'https://www.doxygen.nl/download.html'
|
|
headers = {
|
|
'User-Agent': 'Mozilla/5.0 (X11; Linux x86_64)',
|
|
'Accept': 'text/html',
|
|
}
|
|
request = urllib.request.Request(url, None, headers)
|
|
with urllib.request.urlopen(request) as response:
|
|
text = response.read().decode('utf-8')
|
|
# Search for the download link.
|
|
mlist = re.findall(r'<a href="(https://www.doxygen.nl/files/doxygen-[0-9\.]+.windows.x64.bin.zip)">', text)
|
|
if len(mlist) != 1:
|
|
return 1
|
|
print(mlist[0])
|
|
return 0
|
|
|
|
if __name__ == '__main__':
|
|
sys.exit(DoxygenLink())
|