From 9a0556eb92b2651363731bb1114a20d419276ef0 Mon Sep 17 00:00:00 2001
From: Michael Bryant <shadow53@shadow53.com>
Date: Mon, 25 Jan 2021 20:51:36 -0800
Subject: [PATCH] Vagrantfile: update to newer Ubuntu LTS

---
 scripts/Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/Vagrantfile b/scripts/Vagrantfile
index 7b934f13f1..8d173c7c8e 100644
--- a/scripts/Vagrantfile
+++ b/scripts/Vagrantfile
@@ -3,7 +3,7 @@
 
 Vagrant.configure("2") do |config|
 
-  config.vm.box = "ubuntu/disco64"
+  config.vm.box = "ubuntu/focal64"
 
   # use vagrant-disksize plugin to resize partition - https://github.com/sprotheroe/vagrant-disksize
   config.disksize.size = '50GB'