Related:
- How 2 rename al the files with same extension
- Batch to rename using text file for new name - How-To - Windows
- How to rename an mp3 file - How-To - Multimedia
- Money heist season 2 english audio track file - How-To - Audio
- Batch rename using text file for new name ✓ - Forum - Programming
- Windows is not find the file with.exe extension - How-To - Windows
2 replies
Tom6
- Posts
- 142
- Registration date
- Friday July 31, 2009
- Status
- Member
- Last seen
- August 7, 2009
Hi :)
While linux tends to be able to ignore file extensions and correctly identify the correct coding of a file any Windows users will be completely stuck trying to open these renamed files. ".gif" and ".jpg" are very different ways of compressing an image requiring quite different decoding mechanisms. If you use Gimp or something similar then doing 2Save As ..." and changing the file-extension is enough to make Gimp (or whichever) translate the picture from one format to another. Simply changing the file-extension through a bash-script will not (afaik)
https://www.gimp.org/docs/
Gimp is probably included in the standard install of whichever flavour of linux you have installed
Good luck and regards from
Tom :)
While linux tends to be able to ignore file extensions and correctly identify the correct coding of a file any Windows users will be completely stuck trying to open these renamed files. ".gif" and ".jpg" are very different ways of compressing an image requiring quite different decoding mechanisms. If you use Gimp or something similar then doing 2Save As ..." and changing the file-extension is enough to make Gimp (or whichever) translate the picture from one format to another. Simply changing the file-extension through a bash-script will not (afaik)
https://www.gimp.org/docs/
Gimp is probably included in the standard install of whichever flavour of linux you have installed
Good luck and regards from
Tom :)
