diff options
Diffstat (limited to 'lib')
-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 |