Это то, что, вероятно, происходит. Приложение, предназначенное для открытия файлов с указанными вами типами файлов, одинаково для всех. .gif, .jpg, .png: все они обрабатываются EOG (Глаз GNOME GNOME) . Я подозреваю, что это приложение не определяет тип файла на основе расширения, скорее оно ищет магическое число .
Обратите внимание, что поведение EOG вполне может быть исключительным, и также имейте в виду, что фактическое преобразование не выполняется. Просто приложения Linux, как правило, используют методы обнаружения, отличные от расширений файлов, хотя многие современные рабочие столы действительно ищут расширение файла, чтобы определить, какое приложение открыть, поскольку этот метод, вероятно, быстрее.
Это все может относиться к Ubuntu, Windows - это совсем другая история. По умолчанию Explorer применяет поведение, которое отключает расширение файла от имени файла. Таким образом, файл с именем «document.pdf» будет отображаться как «документ», а переименование его в «document.dvi» будет фактически обрабатываться как «document.dvi.pdf». Вирусы иногда используют эту «особенность», заставляя пользователя поверить, что они открывают .jpg, в то время как на самом деле их обманывают в запуске вредоносного exe!
Чтобы быть уверенным в типах файлов, есть команда, file
которая показывает подробную информацию о файле.
Исходя из моего личного опыта, я могу сказать, что, по крайней мере, в моей системе, EOG не может быть обманут в распознавании переименованного файла изображения. Вы должны делать что-то другое, чем я.
png
чтобыjpeg
не работает в моей системе. Формат совершенно другой. Вы уверены, что это происходит в Ubuntu! : O