From 7dee7cd00ae3c752a09fb1c0a838fb1a1168a0a5 Mon Sep 17 00:00:00 2001
From: Sebastiano Miano <mianosebastiano@gmail.com>
Date: Fri, 8 Mar 2024 15:35:02 +0100
Subject: [PATCH] Update Vagrantfile

---
 Vagrantfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index e52c8c1..0876e4e 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -3,8 +3,8 @@
 VAGRANTFILE_API_VERSION = "2"
 
 Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
-    # config.vm.box = "bento/ubuntu-20.04"
-    config.vm.box = "tknerr/ubuntu2004-desktop"
+    config.vm.box = "bento/ubuntu-20.04"
+    # config.vm.box = "tknerr/ubuntu2004-desktop"
 
     ## Guest Config
     config.vm.hostname = "polimi-sdn"