Selecting Vagrantfile.
--- a/vagrant.rst Sun Nov 08 09:14:06 2020 +0200
+++ b/vagrant.rst Sun Nov 08 09:50:50 2020 +0200
@@ -26,6 +26,14 @@
It is set/updated by VirtualBox installer and was ``VBOX_INSTALL_PATH`` before 4.3.12 (2014).
+Selecting Vagrantfile
+=====================
+
+Use env var ``VAGRANT_VAGRANTFILE`` to control which ``Vagrantfile`` is to use::
+
+ VAGRANT_VAGRANTFILE=Vagrantfile-alpine vagrant status
+ VAGRANT_VAGRANTFILE=Vagrantfile-debian vagrant status
+
Updating Vagrant
================