#! /bin/bash set -e # Don't really need to do anything here