diff options
Diffstat (limited to 'scripts/rewritejpeg')
-rwxr-xr-x | scripts/rewritejpeg | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/scripts/rewritejpeg b/scripts/rewritejpeg deleted file mode 100755 index 21822c7..0000000 --- a/scripts/rewritejpeg +++ /dev/null @@ -1,41 +0,0 @@ -#!/bin/bash -# -*- Mode: shell-script -*- -# Copyright (C) 2002 by Chmouel Boudjnah <chmouel@mandrakesoft.com> -# 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 - |