Vagrant ist ein praktisches Werkzeug, um Linux-VMs auf jeder gängigen Plattform schnell und einfach erzeugen zu können. Wird das Tool hinter einem Proxyserver betrieben werden, sind einige Änderungen notwendig. Nach der Installation gibt es zwei Möglichkeiten, den Proxy-Server zu setzen: Umgebungsvariablen HTTP_PROXY/HTTPS_PROXY und ggf. NO_PROXY Globales Vagrantfile im Benutzerprofil via Proxy-Plugin Dieser Artikel beschäftigt sich …
