diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-10-01 20:34:13 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-10-01 20:34:13 (EDT) |
| commit | 7b018c37c5bced06e346e3b3c24ecf1d85b4aec0 (patch) | |
| tree | bf6adfcfbddb76117f67d50827f0b6fa29288505 | |
| parent | 91343844c1ed8b266381157f3bfef1f36498f9b7 (diff) | |
miniprokit: Update list of mirrors
| -rwxr-xr-x | miniprokit.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/miniprokit.sh b/miniprokit.sh index 1d304a7..73131d1 100755 --- a/miniprokit.sh +++ b/miniprokit.sh @@ -182,12 +182,15 @@ cmd_install() if [ "x${mirror}" = 'x' ]; then 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 |