2
# script by Orlando De Giorgi
5
nuovo=$(basename $1 | sed s/".bmp"/".jpg"/)
6
if [ "$1" != "$nuovo" ]
12
nuovo=$(basename $1 | sed s/".BMP"/".jpg"/)
13
if [ "$1" != "$nuovo" ]
21
nuovo=$(basename $1 | sed s/".tif"/".jpg"/)
22
if [ "$1" != "$nuovo" ]
28
nuovo=$(basename $1 | sed s/".TIF"/".jpg"/)
29
if [ "$1" != "$nuovo" ]
36
nuovo=$(basename $1 | sed s/".PNG"/".jpg"/)
37
if [ "$1" != "$nuovo" ]
43
nuovo=$(basename $1 | sed s/".png"/".jpg"/)
44
if [ "$1" != "$nuovo" ]
51
nuovo=$(basename $1 | sed s/".GIF"/".jpg"/)
52
if [ "$1" != "$nuovo" ]
58
nuovo=$(basename $1 | sed s/".gif"/".jpg"/)
59
if [ "$1" != "$nuovo" ]