summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xminiprokit.sh3
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'