summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAnton Luka Šijanec <anton@sijanec.eu>2023-05-28 11:34:53 +0200
committerAnton Luka Šijanec <anton@sijanec.eu>2023-05-28 11:34:53 +0200
commita5055be70dff735b6cf3df116d94b91603c095c3 (patch)
tree4c55cf6168291a92225f71b39d0640e24bea3515
parentMerge branch 'master' of ssh://ni/var/lib/git/sijanec/r (diff)
downloadr-a5055be70dff735b6cf3df116d94b91603c095c3.tar
r-a5055be70dff735b6cf3df116d94b91603c095c3.tar.gz
r-a5055be70dff735b6cf3df116d94b91603c095c3.tar.bz2
r-a5055be70dff735b6cf3df116d94b91603c095c3.tar.lz
r-a5055be70dff735b6cf3df116d94b91603c095c3.tar.xz
r-a5055be70dff735b6cf3df116d94b91603c095c3.tar.zst
r-a5055be70dff735b6cf3df116d94b91603c095c3.zip
-rwxr-xr-xskripti/download-changes-to-website.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/skripti/download-changes-to-website.sh b/skripti/download-changes-to-website.sh
index 6059267..590a104 100755
--- a/skripti/download-changes-to-website.sh
+++ b/skripti/download-changes-to-website.sh
@@ -6,8 +6,8 @@ s=10
while :
do
t=`mktemp -p "" $n.XXX`
- wget -O$t $1
+ curl --cookie "$3" $1 | grep -v __RequestVerificationToken > $t
f=`sha256sum $t | cut -d\ -f1`
- [ -f $f ] && rm $t || mv $t $f
+ [ -f $f ] && rm $t || ( mv $t $f && eval "$4" )
sleep $s
done