重命名文件并更改扩展名

Question

I have a directory with almost 2000 images and some of them don't have the right extension. And these extensions are formatted like this *.images(xxx) 1 . Is it possible to change the extension to jpg

UPDATE I have this code but it omits the extension.

declare -i i=0;
for f in *;
    do
        fn=$i".${f##*.jpg}";
        mv "$f" "/home/vianney/Desktop/IPIP/$fn";
        i=$((i+1));
    done
clear

How could I change this code to display the filetype

Answer 1

This can be done with a for loop:

#!/bin/sh

for i in *
do mv "${i}" "${i%.*}.jpg"
done

To expand a bit on the issues addressed in the comments below; here is a variation on the program which appends a sequential numerical suffix to the files as they are processed:

#!/bin/sh

count=0
for i in *.*
do mv "${i}" "${i%.*}.${count}.jpg"
   count=$((count + 1))
done

Answer 2

I would go with mv and bash oneliner: for file in *.images*; do mv "$file" "${file/\\.*/\\.jpg}"; done; for file in *.images*; do mv "$file" "${file/\\.*/\\.jpg}"; done;

Let me know if it helped you?