diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-04-10 18:13:17 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-04-10 18:13:17 (EDT) |
| commit | 1a920555d38021917c76886c698b5bc611879652 (patch) | |
| tree | c22be18ac46832254dbfb2608e3cb72f161f6b21 | |
| parent | c35153cdf907d3c8eeee087ac194cb1c437bcfe7 (diff) | |
miniprokit.sh: Update mirror.gnu.dk domain.
| -rwxr-xr-x | miniprokit.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/miniprokit.sh b/miniprokit.sh index c76548b..292db36 100755 --- a/miniprokit.sh +++ b/miniprokit.sh @@ -146,8 +146,7 @@ cmd_install() rand=$(($rand % 2)) case ${rand} in 0) - mirror='http://proteanos.mirror.gnu.dk' - mirror="${mirror}/pub/proteanos" + mirror='http://mirror.gnu.dk/pub/proteanos' ;; 1) mirror='http://mirror.oss.maxcdn.com/proteanos' |