This file is indexed.

/usr/bin/ps2gif is in tth-common 4.08+ds-1.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
#!/bin/sh
# ps2gif script by Ian Hutchinson 2000.
# use at your own risk.
# You need Ghostscript and the pbmplus utilities installed. 
if [ $# -lt 2 ] ; then
       echo " Usage: ps2gif <file.ps> <file.gif> [<icon.gif>]" 1>&2
       exit 1
else 
    echo "Calling ghostscript to convert, please wait ..." >&2
    filein=$1
#Fast and small
#   gs -sDEVICE=ppmraw -sOutputFile=- -sNOPAUSE -q $filein -c showpage -c quit | pnmcrop| pnmmargin -white 10 | ppmtogif >$2
#Slow and big but grayscale antialiasing may be better in some cases.
     gs -r288 -sDEVICE=ppmraw -sOutputFile=- -sNOPAUSE -q $filein -c showpage -c quit | pnmcrop | pnmscale 0.25 | pnmmargin -white 10 | ppmtogif >$2
    shift 2
    if [ $# -eq 1 ] ;then
# Make an icon file.
       gs -sDEVICE=ppmraw -sOutputFile=- -sNOPAUSE -r12 -q $filein -c showpage -c quit | pnmcrop|  ppmtogif >$1
    fi
fi