Changing default debian mirror to a more reliable one

diff --git a/share/hydractl/provision b/share/hydractl/provision
index 2d0c92bc5e2f1f762cf8b5937572d1a9c38eb411..8af02a51c6a9e5452c97bd963f83a392218f44ea 100755 (executable)
--- a/share/hydractl/provision
+++ b/share/hydractl/provision
@@ -79,7 +79,7 @@ hydra_user_input arch amd64 "System arch"
 hydra_user_input version wheezy "Distro version"
 hydra_user_input vg vg "Temporary install vg"
 hydra_user_input grub n "Setup GRUB? (y/n)"
-hydra_user_input mirror http://cdn.debian.net/debian/ "Debian mirror"
+hydra_user_input mirror http://http.debian.net/debian/ "Debian mirror"
 
 # Check for requirements.
 for req in debootstrap cryptsetup grub-pc lvm2 parted; do