deb Vagrantfile: install curl.
commit2bd07f4f01fcb5dca86dd53a8a2874abd5a5a50f
authorJohn MacFarlane <jgm@berkeley.edu>
dateThu 21 Jul 2016, 09:51 (10 years ago)
parentc52fa06
deb/Vagrantfile+1−1
@@ -69,7 +69,7 @@ Vagrant.configure(2) do |config|
6969 sudo apt-key add fpco.key
7070 echo 'deb http://download.fpcomplete.com/ubuntu/precise stable main'|sudo tee /etc/apt/sources.list.d/fpco.list
7171 sudo apt-get update
72− sudo apt-get install -y stack build-essential debhelper dh-make
72+ sudo apt-get install -y stack build-essential debhelper dh-make curl
7373 sudo cp /vagrant_data/deb/*.pem /etc/ssl/certs/
7474 SHELL
7575end