Primeiro, por favor, certifique-se de que estes sejam arquivos .gif e não arquivos .png. (Parece mais provável que eles sejam nomeados incorretamente .png em vez de nomes incorretos .gif, mas se você tiver certeza ...)
Abra o terminal.
Digite:
cd "/folder/in/question"
(substitua pelo nome real da pasta)
Pressione enter. Digite:
for file in *.gif.png ; do mv "$file" "${file%.png}" ; done