From dd070c05c99187da4bbf70cc1813245cb883a5e6 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sat, 18 Apr 2020 21:48:04 +0200
Subject: [PATCH] vagrant: fix debianoid virtualenv packages

there is no python-virtualenv on focal64,
but "virtualenv" installs everything needed.
---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 5f8bb9da..3da90d89 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -20,7 +20,7 @@ def packages_debianoid(user)
     chgrp fuse /dev/fuse
     chmod 666 /dev/fuse
     apt install -y fakeroot build-essential git curl
-    apt install -y python3-dev python3-setuptools python-virtualenv python3-virtualenv
+    apt install -y python3-dev python3-setuptools virtualenv
     # for building python:
     apt install -y zlib1g-dev libbz2-dev libncurses5-dev libreadline-dev liblzma-dev libsqlite3-dev libffi-dev
   EOF