diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-11-15 10:09:46 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-11-15 10:09:46 -0800 |
| commit | 35faf0cdd858cb1dc7975bc7418a47274569aab8 (patch) | |
| tree | 3dd56dcfb7b33ca3738c210d2b34ea23db0df0e6 /deb/Vagrantfile | |
| parent | 87470bdcefcd79c3a626f719b7a5364ccc535a9c (diff) | |
| download | pandoc-35faf0cdd858cb1dc7975bc7418a47274569aab8.tar.gz | |
Vagrantfile: Install certificates needed for stack to work.
Diffstat (limited to 'deb/Vagrantfile')
| -rw-r--r-- | deb/Vagrantfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/deb/Vagrantfile b/deb/Vagrantfile index a2a288ffe..94a4d62c6 100644 --- a/deb/Vagrantfile +++ b/deb/Vagrantfile @@ -69,5 +69,6 @@ Vagrant.configure(2) do |config| echo 'deb http://download.fpcomplete.com/ubuntu/trusty 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 cp /vagrant_data/deb/*.pem /etc/ssl/certs/ SHELL end |