# HG changeset patch # User Pascal Bellard # Date 1506517126 -7200 # Node ID efd7971400df2a53fa9ddc96ea110659f1ee97c9 # Parent af72949c6633ef189020abe82561e5e3d2050ff1 opera: update URL diff -r af72949c6633 -r efd7971400df opera --- a/opera Wed Sep 27 13:40:10 2017 +0200 +++ b/opera Wed Sep 27 14:58:46 2017 +0200 @@ -5,18 +5,17 @@ get_releases() { - wget -qO- "$URL?C=M;O=D" | sed 's|.*[Ff]="\([^"/]*\).*|\1|;/[^0-9b]/d' + wget -qO- "$URL" | sed 's|.*[Ff]="\([^"/]*\).*|\1|;/[^0-9b]/d' | tac } # Download deb -### for RELEASE in $@ $(get_releases); do - RELEASE=1216 +for RELEASE in $@ $(get_releases); do TARBALL=$(wget -O- "$URL$RELEASE/" 2>/dev/null |sed 's|.*[Ff]="\(.*\)".*|\1|;/6.d/!d;q'|sed 's/".*//') [ -n "$TARBALL" ] || continue WGET_URL=$URL$RELEASE/$TARBALL wget $WGET_URL -### [ -s $TARBALL ] && break -### done + [ -s $TARBALL ] && break +done [ -f $TARBALL ] || abort_package