Проблема:
У меня есть более 200 файлов с именами в соответствии с DSC01852.Jpg.jpg». Я хотел бы удалить расширение файла, чтобы результат стал "DSC01852.JPG».
Какие-либо предложения? Я посмотрел на команду mv, но не мог понять, как написать правильную команду.