diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-05-25 20:53:59 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-05-25 20:53:59 (EDT) |
| commit | 7562ef612b34471be560d9f613fe69a12d0c067b (patch) | |
| tree | e04910e16c9a1fab45aed3be93e8f8a5e1642d7a | |
| parent | 43f20a34e9a1fe11319c63bb3c06104d13f17620 (diff) | |
bootstrap-prepare.sh: Update mirror.gnu.dk domain.
| -rwxr-xr-x | bootstrap-prepare.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bootstrap-prepare.sh b/bootstrap-prepare.sh index 6b65546..64162c6 100755 --- a/bootstrap-prepare.sh +++ b/bootstrap-prepare.sh @@ -152,8 +152,7 @@ prepare_packages() 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' |