From 46544e57295668338e0ce1dd9f7e8606c67473bc Mon Sep 17 00:00:00 2001
From: Kevin Chung <kchung@nyu.edu>
Date: Sat, 25 Nov 2017 05:39:01 -0500
Subject: [PATCH] Switching to Bento Ubuntu for VMWare support (#481)

---
 Vagrantfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index 27cb756..89557ae 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -24,8 +24,7 @@ tmux new-session -d -n "ctfd" -c "/vagrant" -s "ctfd" "gunicorn --bind 0.0.0.0:8
 SCRIPT
 
 Vagrant.configure("2") do |config|
-  # ubuntu/xenial64 supports synced folders
-  config.vm.box = "ubuntu/xenial64"
+  config.vm.box = "bento/ubuntu-16.04"
 
   # Create a private network, which allows host-only access to the machine
   config.vm.network "private_network", ip: "10.9.8.7"