From fc0c594ff66869a42656d39bd4aed021b30fd167 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sun, 12 Mar 2023 22:05:52 +0100
Subject: [PATCH] vagrant: local freebsd 12.1 box -> generic/freebsd13 box

Building in the 12.1 box stopped working, thus replaced it
with the same box as we use in master.
---
 Vagrantfile | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index fef045e2c..a08852134 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -42,9 +42,11 @@ def packages_freebsd
     pkg install -y fusefs-libs3 || true
     pkg install -y git bash  # fakeroot causes lots of troubles on freebsd
     # for building python (for the tests we use pyenv built pythons):
-    pkg install -y python38 py38-sqlite3 py38-virtualenv py38-pip
+    pkg install -y python39 py39-sqlite3
     # make sure there is a python3 command
-    ln -sf /usr/local/bin/python3.8 /usr/local/bin/python3
+    ln -sf /usr/local/bin/python3.9 /usr/local/bin/python3
+    python3 -m ensurepip
+    pip3 install virtualenv
     # make bash default / work:
     chsh -s bash vagrant
     mount -t fdescfs fdesc /dev/fd
@@ -342,7 +344,7 @@ Vagrant.configure(2) do |config|
   end
 
   config.vm.define "freebsd64" do |b|
-    b.vm.box = "freebsd121-64"
+    b.vm.box = "generic/freebsd13"
     b.vm.provider :virtualbox do |v|
       v.memory = 1024 + $wmem
     end