blob: b2e36eae68219e57da49db84abc16ce7802785d7 (
plain)
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
|
#!/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
# $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;
}
echo "Converting $file"
tmp=${file/.jpg/.ppm}
jpegtopnm $file > $tmp
ppmtojpeg $tmp > $file
rm -f $tmp
done
|
