Hi,

I have renamed some pdf documents in a folder that were mixed with pdf files that didn't have to be renamed and now I have files with a double extension like filename.pdf.pdf

Question: How can I strip off one of those .pdf extensions (bash would be great to use) as these are going onto my android tablet and they can be read because of the double pdf extension.

Thank you!

It should NOT make any difference having "two extensions" as only the characters after the LAST dot (.) should be used by the OS to determine filetype.

Actually, you know what my problem was? There were some pdf files without the extension as well, it wasn't the .pdf.pdf (previous post) issue, but I managed to resolve that anyway in a simple bash.

Thanks anyway!