#!/bin/sh set -e vagrant up host=$(vagrant ssh-config | awk '{ if ($1 == "HostName") { print($2) }}') port=$(vagrant ssh-config | awk '{ if ($1 == "Port") { print($2) }}') key=$(vagrant ssh-config | awk '{ if ($1 == "IdentityFile") { print($2) }}') cat > colab/environments.yml <