From 3a56e621f4f89369a1cd6252eeca6a41d25eb24d Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Wed, 3 Sep 2025 16:09:28 -0700 Subject: [PATCH] Vagrantfile: Forward port 9995 for /help dev server. Signed-off-by: Anders Kaseorg --- Vagrantfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Vagrantfile b/Vagrantfile index d1d9f80678..6824b092f0 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -61,6 +61,7 @@ Vagrant.configure("2") do |config| config.vm.network "forwarded_port", guest: 9991, host: host_port, host_ip: host_ip_addr config.vm.network "forwarded_port", guest: 9994, host: host_port + 3, host_ip: host_ip_addr + config.vm.network "forwarded_port", guest: 9995, host: host_port + 4, host_ip: host_ip_addr # Specify Docker provider before VirtualBox provider so it's preferred. config.vm.provider "docker" do |d, override| override.vm.box = nil