diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-11-15 11:53:28 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-11-15 11:53:28 -0800 |
| commit | 48503f91612384cd38d60446aa75234f1916a00e (patch) | |
| tree | 63224123420783355bc27c5f73a8f5bc49af6e3b /deb/Vagrantfile | |
| parent | 35faf0cdd858cb1dc7975bc7418a47274569aab8 (diff) | |
| download | pandoc-48503f91612384cd38d60446aa75234f1916a00e.tar.gz | |
deb/Vagrantfile improvements.
- Reduce memory size.
- Retrieve key.
Diffstat (limited to 'deb/Vagrantfile')
| -rw-r--r-- | deb/Vagrantfile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/deb/Vagrantfile b/deb/Vagrantfile index 94a4d62c6..41ce8a040 100644 --- a/deb/Vagrantfile +++ b/deb/Vagrantfile @@ -48,7 +48,7 @@ Vagrant.configure(2) do |config| # vb.gui = true # Customize the amount of memory on the VM: - vb.memory = "4096" + vb.memory = "2048" end # # View the documentation for the provider you are using for more @@ -65,7 +65,8 @@ Vagrant.configure(2) do |config| # Puppet, Chef, Ansible, Salt, and Docker are also available. Please see the # documentation for more information about their specific syntax and use. config.vm.provision "shell", inline: <<-SHELL - wget -q -O- https://s3.amazonaws.com/download.fpcomplete.com/debian/fpco.key | sudo apt-key add - + wget -q https://s3.amazonaws.com/download.fpcomplete.com/debian/fpco.key + sudo apt-key add fpco.key 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 |