diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-10-01 20:33:55 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-10-01 20:33:55 (EDT) |
| commit | d8c058f9e333ae7d99030c64f9c19c47b3a35085 (patch) | |
| tree | b8a5f6badd68b0a655e4acd32abfb7e678f33178 | |
| parent | e05d5c60bc25795e612060c1b363b4ea57ee6474 (diff) | |
profile/proteanos: Update list of mirrors
| -rw-r--r-- | lib/profile/proteanos.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/profile/proteanos.sh b/lib/profile/proteanos.sh index 5e7d06c..2e0739c 100644 --- a/lib/profile/proteanos.sh +++ b/lib/profile/proteanos.sh @@ -95,12 +95,15 @@ prof_proteanos_select_mirror() local mirror= rand=$(date '+%S') - rand=$(($rand % 2)) + rand=$(($rand % 3)) case ${rand} in 0) - mirror='http://mirror.gnu.dk/pub/proteanos' + mirror='http://us.mirror.gnu.dk/pub/proteanos' ;; 1) + mirror='http://eu.mirror.gnu.dk/pub/proteanos' + ;; + 2) mirror='http://mirror.oss.maxcdn.com/proteanos' ;; esac |