#!/bin/sh

# This script takes one argument, $pgm, and run it on $BACKEND.

BACKEND=mic0

pgm="$@"

SSH="ssh -q"

SCP="scp -q"

# Assume a common file system, e.g. NFS, exists between backend and frontend,

# a much FASTER and simpler way of launching the $pgm.

# so $PWD which is current working directory on the frontend exists on

# the backend as well.  Execute $@ remotely on $PWD.

#

# $SSH $BACKEND "cd $PWD && $pgm"

# Assume NO common file system: A SLOW and complicated of running test.

# Create a random directory name locally.

wdir="`mktemp --tmpdir=/tmp fcross.XXXXXX`"

# Create the same directory remotely.

$SSH $BACKEND "mkdir $wdir" 2> /dev/null && \

# Copy the $pgm to the remote directory.

$SCP -p $pgm ${BACKEND}:${wdir} && \

# Launch the $pgm from the remote diectory.

$SSH $BACKEND "cd $wdir && $pgm" 2> /dev/null && \

# Copy whatever remote files created due to $pgm back to local directory.

$SCP ${BACKEND}:${wdir}/* . && \

# Remove the remote directory.

$SSH $BACKEND "rm -rf $wdir" 2> /dev/null && \

# Remove the local random directory.

rm -rf $wdir