diff options
Diffstat (limited to 'skripti')
| -rwxr-xr-x | skripti/download-changes-to-website.sh | 4 |
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 |