#!/bin/csh -f
#(ie run the cshell on this but don't read the .cshrc)

# version = 1.00 of mkinfo 2001Jun25.22:14:31
# origin 2001Jun25.22:14:31

# all top data:
# anytopnm 15.tif | head -3

# just size:
# anytopnm 15.tif | head -2 | tail -1

# ignore error about broken pipe:
# anytopnm 15.tif | head -2 | tail -1 >& /dev/null
# oops wrong way

set junk1 = /tmp/`whoami`.imageinfo1
set junk2 = /tmp/`whoami`.imageinfo2
# anytopnm 15.tif | head -2 | tail -1 > $junk
anytopnm 15.tif > $junk1
echo ---
cat $junk1 | head -2 | tail -1 > $junk2

cat $junk2