Basilisk source code (http://basilisk.fr/src/)

root / src / ppm2gif

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
#!/bin/bash

CONVERT="`which convert`"
GIFSICLE="`which gifsicle`"

if test -z "$CONVERT" -o -z "$GIFSICLE"; then
    echo "ppm2gif: warning: could not find 'convert' or 'gifsicle'" >&2
    echo "ppm2gif: the output will just be concatenated PPM files" >&2
    cat
else
    command="gifsicle --colors 256 --optimize --delay 5"
    ppm="convert"
    while test $# -gt 0; do
	case $1 in
	    -s)
		ppm="$ppm -extract $2"
		shift
		;;
	    *)
		command="$command $1"
		;;
	esac
	shift
    done
    if test -d "$TMPDIR" ; then
	log=`mktemp $TMPDIR/ppm2gif.XXXXXX`
    else
	log=`mktemp /tmp/ppm2gif.XXXXXX`
    fi
    $ppm ppm:- $log-%04d.gif
    if $command $log-*.gif 2> $log; then :
    else
	cat $log >&2
	rm -f $log*
	exit 1
    fi
    rm -f $log*
fi