Closed
Description
Similar to how it is exposed in the GUI for Docker, add a command-line option that adds port forwarding in the generated Vagrantfile.
This would be exactly like --memory and --use-gui options which write out v.memory and v.gui in the Vagrantfile.
This can also happen from run subcommand, via vagrant reload.