switched from Ubuntu 16.04 to Debian 10 to get PHP 7.3

diff --git a/Vagrantfile b/Vagrantfile
index e5f30b307f21a238b7e537e98ae9cc6687aa8572..f9ffe0c75e260aaa1c6b49559f42ff08226d03c6 100644 (file)
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -6,8 +6,8 @@ server_timezone = "UTC"
 public_folder = "/vagrant"
 
 Vagrant.configure(2) do |config|
-  # Set server to Ubuntu 16.04
-  config.vm.box = "ubuntu/xenial64"
+  # Set server to Debian 10 / Buster 64bit
+  config.vm.box = "debian/buster64"
 
   # Disable automatic box update checking. If you disable this, then
   # boxes will only be checked for updates when the user runs