File: ppm2gif.bash

package info (click to toggle)
splash 2.5.0-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 8,192 kB
  • ctags: 3,886
  • sloc: f90: 46,438; ansic: 11,453; makefile: 891; lex: 823; perl: 535; sh: 194
file content (9 lines) | stat: -rwxr-xr-x 260 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
 
#!/bin/bash
# @(#) converts all ppms to gifs (using Netpbm tools)

for x in splash_*.ppm;
do if [ -e ${x/.ppm/.gif} ]; then
   echo ${x/.ppm/.gif} already exists; 
   else echo creating ${x/.ppm/.gif}; ppmquant 256 $x | ppmtogif > ${x/.ppm/.gif};
   fi;
done;