diff options
author | Jonas Bjurel <jonas.bjurel@ericsson.com> | 2016-09-20 17:30:37 +0200 |
---|---|---|
committer | Jonas Bjurel <jonas.bjurel@ericsson.com> | 2016-09-20 18:00:51 +0000 |
commit | d1dd9f9d570e4fa9cc3be53f9072f12efeb474cd (patch) | |
tree | d0d7d3d30185bd8b64d961d0b5cbd41658f62625 /build/f_isoroot | |
parent | aae10837b3763e9d0a806dda9964abaebb6d8736 (diff) |
Temporary Hardcoded Ubuntu repocolorado.1.rc3
Meanwhile we're investigating the issues with Ubuntu repo mirror selection,
we will hardcode the Ubuntu repo mirror
Change-Id: I776bd3a8a72dc87e00052e8ff965de1134293c7a
Signed-off-by: Jonas Bjurel <jonas.bjurel@ericsson.com>
(cherry picked from commit 3e506f9248f2a64a8a30c832049df392b01fcb4e)
Diffstat (limited to 'build/f_isoroot')
-rwxr-xr-x | build/f_isoroot/f_repobuild/select_ubuntu_repo.sh | 34 |
1 files changed, 18 insertions, 16 deletions
diff --git a/build/f_isoroot/f_repobuild/select_ubuntu_repo.sh b/build/f_isoroot/f_repobuild/select_ubuntu_repo.sh index c3bb5cf36..20b3485a1 100755 --- a/build/f_isoroot/f_repobuild/select_ubuntu_repo.sh +++ b/build/f_isoroot/f_repobuild/select_ubuntu_repo.sh @@ -16,22 +16,24 @@ # for them not to be considered. BLACKLIST="mirror.clibre.uqam.ca" -for url in $((curl -s https://launchpad.net/ubuntu/+archivemirrors | \ - grep -P -B8 "statusUP|statusSIX" | \ - grep -o -P "(f|ht)tp.*\"" | \ - sed 's/"$//' | sort | uniq; \ - curl -s http://mirrors.ubuntu.com/mirrors.txt | sort | uniq) | \ - sort | uniq -d) -do - host=$(echo $url | cut -d'/' -f3) - echo ${BLACKLIST} | grep -q ${host} && continue - if curl -s -o /dev/null --head --fail "$url"; then - echo $url - exit 0 - else - continue - fi -done +#NOTE: For now the mirror selection is disabled due to issues not yet +# understood/resolved. +#for url in $((curl -s https://launchpad.net/ubuntu/+archivemirrors | \ +# grep -P -B8 "statusUP|statusSIX" | \ +# grep -o -P "(f|ht)tp.*\"" | \ +# sed 's/"$//' | sort | uniq; \ +# curl -s http://mirrors.ubuntu.com/mirrors.txt | sort | uniq) | \ +# sort | uniq -d) +#do +# host=$(echo $url | cut -d'/' -f3) +# echo ${BLACKLIST} | grep -q ${host} && continue +# if curl -s -o /dev/null --head --fail "$url"; then +# echo $url +# exit 0 +# else +# continue +# fi +#done # If no suitable local mirror can be found, # the default archive is returned instead. |