Vagrantfile: Forward port 9995 for /help dev server.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2025-09-03 16:09:28 -07:00
committed by Tim Abbott
parent 2bf20e02f2
commit 3a56e621f4

1
Vagrantfile vendored
View File

@@ -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