#!/bin/bash

export EXPEDITEE_FILESYSTEM='D:/davidb/Google Drive/expeditee-filesystem-ikm'

if [ "x$EXPEDITEE_HOME" = "x" ] ; then
  . ./expeditee-setup.bash
fi


pushd "$EXPEDITEE_HOME/in-the-cloud"
./run-in-the-cloud.bash IKM-Next-Generation12
popd