#!/bin/csh -f
onintr EXINT
echo -n 'DATA [terminal]: '
set DATA=$<
echo -n 'LAUEHKL: '
echo setenv LAUEHKL $< >>$1
set tchk=`echo $DATA|tr a-z A-Z`
if ( $tchk == "" || $tchk == TERMINAL ) goto onlin
echo "time ${2}/intanal < $DATA" >>$1
exit 0
onlin:
echo "${2}/intanal" >>$1
exit 101
EXINT:
exit 99