From 56d5fa3624e32094a46e7dbdcf8926f770fceb8d Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Fri, 1 Dec 2023 22:10:25 +0100
Subject: debian/vagrant: fix NFS mounting

`vagrant up` started hanging with NFS connection errors, but I'm too
lazy to figure out what it is this time.
---
 debian/Vagrantfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/debian/Vagrantfile b/debian/Vagrantfile
index ab1decb..fce4afb 100644
--- a/debian/Vagrantfile
+++ b/debian/Vagrantfile
@@ -12,7 +12,10 @@ Vagrant.configure("2") do |config|
   # Weirdly enough, VirtualBox's shared folders didn't quite work for me.
   # gbp buildpackage would just exit with FileExistsError, which doesn't
   # happen with NFS shares.
-  config.vm.synced_folder "../", "/vagrant", type: "nfs"
+  config.vm.synced_folder "../", "/vagrant",
+    type: "nfs",
+    nfs_udp: false,
+    nfs_version: "4"
 
   config.vm.provider "libvirt" do |v|
     v.cpus = 2
-- 
cgit v1.2.3