Skip to content

Commit bf9dde1

Browse files
committed
Use curl instead of wcurl
1 parent 2b017a6 commit bf9dde1

2 files changed

Lines changed: 4 additions & 5 deletions

File tree

.github/workflows/test.yml

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -13,10 +13,6 @@ jobs:
1313
steps:
1414
- uses: actions/checkout@v4
1515

16-
- name: Install new version of curl
17-
# Provides wcurl
18-
run: sudo snap install curl
19-
2016
- name: Set up Python ${{ matrix.python-version }}
2117
uses: actions/setup-python@v5
2218
with:

fetch_python_docs.py

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,10 @@
2525
if outfile.is_file():
2626
print(f"{outfile} already exists")
2727
else:
28-
subprocess.run(["wcurl", url, "--output", outfile], cwd=HERE).check_returncode()
28+
# -s: silent mode
29+
# -S: but show errors
30+
# -L: follow redirect
31+
subprocess.run(["curl", "-sSL", url, "--output", outfile], cwd=HERE).check_returncode()
2932

3033
print(f"Extracting {outfile}")
3134
outdir = HERE / f"python-{major}.{minor}-docs-html"

0 commit comments

Comments
 (0)