From cf9cb4adb06a7fb4da18d964571b30cab2fb6cd8 Mon Sep 17 00:00:00 2001
From: Alexis Ben Miloud--Josselin <abenmiloud+git@evolix.fr>
Date: Thu, 29 Feb 2024 16:29:48 +0100
Subject: [PATCH] HowtoVagrant: Ajouter VAGRANT_VAGRANTFILE

---
 HowtoVagrant.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/HowtoVagrant.md b/HowtoVagrant.md
index aaf19130..8b257ba6 100644
--- a/HowtoVagrant.md
+++ b/HowtoVagrant.md
@@ -429,3 +429,7 @@ vagrant rsync-auto
 ~~~
 
 Voir la [documentation](https://developer.hashicorp.com/vagrant/docs/synced-folders/rsync).
+
+### Répertoire avec Plusieurs `Vagrantfiles`
+
+On peut utiliser la variable d'environnement [`VAGRANT_VAGRANTFILE`](https://developer.hashicorp.com/vagrant/docs/other/environmental-variables#vagrant_vagrantfile) pour spécifier le nom (et non le chemin) du `Vagrantfile` à utiliser.