From c4e4c612bd023f3213ecc5e3c9663abd04ad6fb1 Mon Sep 17 00:00:00 2001
From: Swen Vermeul <swen@ethz.ch>
Date: Fri, 22 Jul 2016 16:04:40 +0200
Subject: [PATCH] adding a minimum of 2048 MB for the virtual machine

---
 src/vagrant/Vagrantfile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/vagrant/Vagrantfile b/src/vagrant/Vagrantfile
index eba36c3d89a..a727ed48692 100644
--- a/src/vagrant/Vagrantfile
+++ b/src/vagrant/Vagrantfile
@@ -46,13 +46,13 @@ Vagrant.configure(2) do |config|
   # backing providers for Vagrant. These expose provider-specific options.
   # Example for VirtualBox:
   #
-  # config.vm.provider "virtualbox" do |vb|
-  #   # Display the VirtualBox GUI when booting the machine
+   config.vm.provider "virtualbox" do |vb|
+     # Display the VirtualBox GUI when booting the machine
   #   vb.gui = true
-  #
-  #   # Customize the amount of memory on the VM:
-  #   vb.memory = "1024"
-  # end
+  
+     # Customize the amount of memory on the VM:
+     vb.memory = "2048"
+   end
   #
   # View the documentation for the provider you are using for more
   # information on available options.
-- 
GitLab