Skip to content

Commit 7058574

Browse files
committed
Squashed commit of the following:
commit 4f7d1fb Author: olaf michaelis <[email protected]> Date: Wed Nov 27 22:15:57 2024 +0100 Update path commit 90eedab Author: olaf michaelis <[email protected]> Date: Wed Nov 27 22:12:24 2024 +0100 Update commit cbd0a72 Author: olaf michaelis <[email protected]> Date: Wed Nov 27 22:06:30 2024 +0100 Update workflow commit ef48dac Author: olaf michaelis <[email protected]> Date: Wed Nov 27 21:57:03 2024 +0100 Update workflow commit 3c5d0bc Author: olaf michaelis <[email protected]> Date: Wed Nov 27 21:54:25 2024 +0100 Add new check links draft
1 parent 81fdc10 commit 7058574

File tree

2 files changed

+17
-10
lines changed

2 files changed

+17
-10
lines changed

.github/sh/check-links.sh

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
#!/bin/bash
2+
3+
ua="Mozilla/5.0 (X11; Linux x86_64; rv:133.0) Gecko/20100101 Firefox/133.0"
4+
5+
muffet --rate-limit 4 -t 300 -b 16384 --skip-tls-verification \
6+
--header "User-Agent: ${ua}" \
7+
-e "\.(mkv|mp4|mpg|pdf)$" \
8+
-e "#" \
9+
-e "rdmo.*.de" \
10+
-e "twitter" \
11+
-e "www.ub.uni-rostock.de" \
12+
-e "www.ub.uni-potsdam.de" \
13+
https://rdmorganiser.github.io

.github/workflows/check-links.yml

Lines changed: 4 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,8 @@ jobs:
1515
check-links:
1616
runs-on: ubuntu-latest
1717
steps:
18+
- name: Checkout
19+
uses: actions/checkout@v3
1820
- name: install muffet
1921
env:
2022
URL: raviqqe/muffet
@@ -25,13 +27,5 @@ jobs:
2527
curl https://raw.githubusercontent.com/triole/ghwfe/master/sh/install_from_github.sh | bash
2628
- name: run the test
2729
env:
28-
TARGET_FOLDER: /home/.local/bin
29-
run: |
30-
${TARGET_FOLDER}/muffet --rate-limit 4 -t 60 -b 16384 --skip-tls-verification \
31-
--header "User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:129.0) Gecko/20100101 Firefox/129.0" \
32-
-e "\.(mkv|mp4|mpg|pdf)$" \
33-
-e "#" \
34-
-e "rdmo.*.de" \
35-
-e "twitter" \
36-
-e "www.ub.uni-rostock.de" \
37-
https://rdmorganiser.github.io
30+
PATH: ${PATH}:/home/.local/bin
31+
run: .github/sh/check-links.sh

0 commit comments

Comments
 (0)