#!/bin/csh
#
#  $Id$
#
#  This script returns the name of the run directory,
#  Could do this more generally using $PENCIL_HOME
#  after having excaped all the slashes.
#
echo $cwd >! .tmp
#
#  in the following if block one can add more machines
#  where workspace can be allocated.
#
set hn = `hostname`
#echo 'We are on the machine "'$hn'", so the new workspace will be'
#
if ($hn =~ beskow*) then
  set str='s/cfs\/klemming\/scratch\/b\/brandenb\///g'
else if (($hn =~ beskow*) && ($USER =~ brandenb)) then
  #echo "special entry for Axel on Beskow"
  set str='s/cfs\/klemming\/scratch\/b\/brandenb\///g'
endif
#
#  Make and link to scratch disk.
#
sed -e "$str" .tmp >! .scr
echo `cat .scr`
#
#  Delete temporary files.
#
\rm -f .scr .tmp