#!/bin/bash # -*- Mode: shell-script -*- # Copyright (C) 2002 by Chmouel Boudjnah # Redistribution of this file is permitted under the terms of the GNU # Public License (GPL) # # Take a Jpeg and reconvert it via ppm-tools to make sure is # compatible for boot logo # # Modified by Olivier Blin on October 30, 2003. # grayscale jpeg support. # it's perhaps better to use "convert -type TrueColor" # # $Id$ files="$@" [[ -z $files ]] && { echo "I need jpeg files argument" exit 1 } for file in $files;do [[ $file != *.jpg ]] && { echo "$file is not a jpeg" continue; } tmp_ppm=${file/.jpg/.ppm} output=`jpegtopnm $file 2>&1 > $tmp_ppm` echo $output if [[ $output == *PGM* ]]; then tmp_pgm=${file/.jpg/.pgm} mv $tmp_ppm $tmp_pgm echo "(converting PGM file into PPM file)" pgmtoppm grey $tmp_pgm > $tmp_ppm rm -f $tmp_pgm fi ppmtojpeg $tmp_ppm > $file rm -f $tmp_ppm done