Drop Vagrant, reduce sources package size

melianmiko · Feb 3, 2024 · 6dfefb1 · 6dfefb1
1 parent 3fb358a
commit 6dfefb1
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 125 deletions.
diff --git a/debian/source/options b/debian/source/options
@@ -1,3 +1,4 @@
-tar-ignore = "venv"
+tar-ignore = "*venv"
+tar-ignore = ".git"
 tar-ignore = "builddir"
 tar-ignore = "**/__pycache__"
diff --git a/tools/.gitignore b/tools/.gitignore
diff --git a/tools/Vagrantfile b/tools/Vagrantfile