From d3bf52e105472bf4257f2fb98bde4f7ce9530e28 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sat, 22 Jan 2022 17:39:31 +0100
Subject: [PATCH] vagrant: remove remainders of archlinux box

the (broken) box was removed a while ago.
---
 Vagrantfile | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index 159d63b8c..0b8281720 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -30,17 +30,6 @@ def packages_debianoid(user)
   EOF
 end
 
-def packages_arch
-  return <<-EOF
-    echo "en_US.UTF-8 UTF-8" >> /etc/locale.gen
-    locale-gen
-    localectl set-locale LANG=en_US.UTF-8
-    chown vagrant.vagrant /vagrant
-    pacman -Syu --noconfirm python-virtualenv python-pip fuse2 fuse3
-    modprobe fuse
-  EOF
-end
-
 def packages_freebsd
   return <<-EOF
     # in case the VM has no hostname set