Vagrantfile: Theoretical change to shell provisioner to allow changing guest ssh port

Vagrantfile

  config.vm.define "git.local" do |server|
    server.vm.hostname = "git.local"
    server.ssh.port = 2222
    # The ssh_port field doesn't exist in Vagrant, but would make it possible to
    # change guest ssh port during provisioning.
    server.vm.provision "shell", ssh_port: 22, inline: <<-SHELL
      set -ex
      sed -i -Ee 's/^[[:blank:]]*#[[:blank:]]*Port[[:blank:]]+22$/Port 2222/' \
                 /etc/ssh/sshd_config
      systemctl restart sshd.service
    SHELL
  end