diff options
author | Thomas Waldmann <tw@waldmann-edv.de> | 2022-01-22 17:39:31 +0100 |
---|---|---|
committer | Thomas Waldmann <tw@waldmann-edv.de> | 2022-01-22 17:39:31 +0100 |
commit | d3bf52e105472bf4257f2fb98bde4f7ce9530e28 (patch) | |
tree | bb2148523b03e0a7cf5c8ef750d9a315b670962d /Vagrantfile | |
parent | 550be412e4af2286362d4f8016ba2db7b739280c (diff) |
vagrant: remove remainders of archlinux box
the (broken) box was removed a while ago.
Diffstat (limited to 'Vagrantfile')
-rw-r--r-- | Vagrantfile | 11 |
1 files changed, 0 insertions, 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 |