wok rev 10799
Fix: get-opera: fetching beta releases fails completely since names are 'opera-next', so use non-Next releases
| author | Ben Arnold <ben@seawolfsanctuary.com> |
|---|---|
| date | Sat Jun 04 11:21:13 2011 +0100 (2011-06-04) |
| parents | 423d8ab737fc |
| children | 045183e2bc4c |
| files | get-opera/stuff/get-opera |
line diff
1.1 --- a/get-opera/stuff/get-opera Fri Jun 03 11:01:10 2011 +0200 1.2 +++ b/get-opera/stuff/get-opera Sat Jun 04 11:21:13 2011 +0100 1.3 @@ -28,7 +28,7 @@ 1.4 1.5 # Download deb 1.6 for RELEASE in $@ $(get_releases); do 1.7 - FILE=$(wget -O- "$URL$RELEASE/" 2>/dev/null | sed 's|.*[Ff]="\(.*\)".*|\1|;/6.d/!d;q') 1.8 + FILE=$(wget -O- "$URL$RELEASE/" 2>/dev/null | grep -v next | sed 's|.*[Ff]="\(.*\)".*|\1|;/6.d/!d;q') 1.9 [ -n "$FILE" ] || continue 1.10 wget $URL$RELEASE/$FILE 1.11 [ -s $FILE ] && break