opensource/pandoc
3
0
Fork 0
mirror of https://github.com/jgm/pandoc.git synced 2026-08-29 01:41:20 +08:00
Code Issues Packages Projects Releases Wiki Activity

deb Vagrantfile: install curl.

Browse Source
This commit is contained in:
John MacFarlane
2016-07-21 09:51:58 -07:00
parent c52fa06900
commit 2bd07f4f01
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
deb/Vagrantfile
Vendored
+1 -1
View File
@@ -69,7 +69,7 @@ Vagrant.configure(2) do |config|
sudo apt-key add fpco.key
echo 'deb http://download.fpcomplete.com/ubuntu/precise stable main'|sudo tee /etc/apt/sources.list.d/fpco.list
sudo apt-get update
sudo apt-get install -y stack build-essential debhelper dh-make
sudo apt-get install -y stack build-essential debhelper dh-make curl
sudo cp /vagrant_data/deb/*.pem /etc/ssl/certs/
SHELL
end