Vagrantfile

# -*- mode: ruby -*-
# vi: set ft=ruby :

Vagrant.configure("2") do |config|
  config.vm.box = "ubuntu/bionic64"
  config.vm.provision "shell", path: "provision.bash"

  # Enlarge disk size from default '10G' to '20G'
  # This need the vagrant-disksize plugin which is installed in play.sh.
  config.disksize.size = '20GB'

  # Don't forward 22.  Even if we do so, the exposed port only binds
  # to 127.0.0.1, but not 0.0.0.0.  Other ports binds to all IPs.
  config.vm.network "forwarded_port", guest: 3306, host: 3306,
                    auto_correct: true
  config.vm.network "forwarded_port", guest: 50051, host: 50051,
                    auto_correct: true
  # Jupyter Notebook
  config.vm.network "forwarded_port", guest: 8888, host: 8888,
                    auto_correct: true
  # minikube dashboard
  config.vm.network "forwarded_port", guest: 9000, host: 9000,
                    auto_correct: true
  # Argo dashboard
  config.vm.network "forwarded_port", guest: 9001, host: 9001,
                    auto_correct: true

  config.vm.provider "virtualbox" do |v|
    v.memory = 8192
    v.cpus = 4
  end

  # Bind the host directory ./ into the VM.
  config.vm.synced_folder "./", "/home/vagrant/desktop"
end