#!/bin/csh -f if (! $?TM_TMP_DIR) then setenv TM_TMP_DIR /tmp endif if( $5 == "" ) then set filename = $TM_TMP_DIR/mime$$.mpg else set filename = $TM_TMP_DIR/$5 endif echo "$2; $3 -> $filename" tmdecode $3 $1 $filename switch( $4 ) case "play": if (! $?VIDEO_DITHER) then setenv VIDEO_DITHER gray endif mpeg_play -dither $VIDEO_DITHER $filename >& /dev/null /bin/rm $filename breaksw case "extract": echo "extrtact to $filename" breaksw endsw