Selecting Vagrantfile.
authorOleksandr Gavenko <gavenkoa@gmail.com>
Sun, 08 Nov 2020 09:50:50 +0200
changeset 2452 f2450d4f1adc
parent 2451 892004bd19bb
child 2453 5bb8692c080a
Selecting Vagrantfile.
vagrant.rst
--- 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
 ================