diff options
-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 |