New answers tagged

0

In the meantime I managed to get a bash script working, for the particular server I'm trying to read anyway: #!/bin/bash function CURL { curl -D headers.tmp $1 } LINK=$1 while [ ! -e $LINK ] do CURL $LINK LINK="$(sed -n 's/.*<\([^>]*\)>; rel="next"/\1/p' headers.tmp)" done Usage example: ./scriptname https://foo....


Top 50 recent answers are included