#!/bin/sh # $Id: cut4,v 1.1 1998/09/07 14:03:50 christof Exp $ # # this script takes a big roborally picture (ppm) # and cut's it into 4 pieces (gif) # RM=rm if [ ! -f ${1}.ppm ] then echo USAGE: $0 ''; exit 1 fi pnmcut 0 0 379 379 <${1}.ppm | ppmquant -fs 256 | ppmtogif >${1}1.gif pnmcut 378 0 379 379 <${1}.ppm | ppmquant -fs 256 | ppmtogif >${1}2.gif pnmcut 0 378 379 379 <${1}.ppm | ppmquant -fs 256 | ppmtogif >${1}3.gif pnmcut 378 378 379 379 <${1}.ppm | ppmquant -fs 256 | ppmtogif >${1}4.gif