From fbd7a4318fea6e1c7e48ef93f787843426cf23a3 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@student.hpi.de>
Date: Wed, 15 May 2019 17:44:55 +0200
Subject: [PATCH] Update Ubuntu in Vagrant and add second CPU

---
 Vagrantfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 46896e9d..c8d7aa96 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -2,9 +2,10 @@
 # vi: set ft=ruby :
 
 Vagrant.configure(2) do |config|
-  config.vm.box = "ubuntu/trusty64"
+  config.vm.box = "ubuntu/bionic64"
   config.vm.provider "virtualbox" do |v|
     v.memory = 8192
+    v.cpus = 2
   end
   config.vm.network "private_network", ip: "192.168.59.104"
   config.vm.network "forwarded_port", guest: 3035, host: 3035