summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorJonas Bjurel <jonas.bjurel@ericsson.com>2016-09-20 17:30:37 +0200
committerJonas Bjurel <jonas.bjurel@ericsson.com>2016-09-20 18:00:51 +0000
commitd1dd9f9d570e4fa9cc3be53f9072f12efeb474cd (patch)
treed0d7d3d30185bd8b64d961d0b5cbd41658f62625 /build
parentaae10837b3763e9d0a806dda9964abaebb6d8736 (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')
-rwxr-xr-xbuild/f_isoroot/f_repobuild/select_ubuntu_repo.sh34
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.