diff options
Diffstat (limited to 'lib/profiles')
| -rw-r--r-- | lib/profiles/proteanos.sh | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/lib/profiles/proteanos.sh b/lib/profiles/proteanos.sh index 0cc6a81..a7946a5 100644 --- a/lib/profiles/proteanos.sh +++ b/lib/profiles/proteanos.sh @@ -68,6 +68,25 @@ prof_proteanos_default_plat() printf 'dev\n' } +prof_proteanos_select_mirror() +{ + local rand= + local mirror= + + rand=$(date '+%S') + rand=$(($rand % 2)) + case ${rand} in + 0) + mirror='http://mirror.gnu.dk/pub/proteanos' + ;; + 1) + mirror='http://mirror.oss.maxcdn.com/proteanos' + ;; + esac + + printf '%s\n' "${mirror}" +} + prof_proteanos_feeds() { local arch="${1}" |