The wget failed in Debian distro

In debian 7.4, it has broken wget due to this thread http://forums.debian.net/viewtopic.php?f=5&t=112704 . curl will work fine .
chef · Mar 30, 2014 · a96d1b9 · a96d1b9
1 parent defca97
commit a96d1b9
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/packer/scripts/common/vagrant.sh b/packer/scripts/common/vagrant.sh
@@ -1,8 +1,7 @@
 #!/bin/bash
 
 mkdir /home/vagrant/.ssh
-wget --no-check-certificate \
-    'https://github.com/mitchellh/vagrant/raw/master/keys/vagrant.pub' \
-    -O /home/vagrant/.ssh/authorized_keys
+curl -o /home/vagrant/.ssh/authorized_keys -L \
+    'https://github.com/mitchellh/vagrant/raw/master/keys/vagrant.pub'
 chown -R vagrant /home/vagrant/.ssh
 chmod -R go-rwsx /home/vagrant/.ssh