Расширение файла.

Файл - это последовательность байтов. Файл имеет тип(формат файла). Тип определяет как байты интерпритируются программами. Например, современный текстовый редактор набранный текст сохраняет в кодеровке utf8 (текстоый файл).

Большинство файлов имеют расширение - последовательность символов, начинающеся с точки окончание в имени файла. Расширение используют для обозначения типа файла. Например, GIF файлы заканчиваются на .gif, имена JPEG файлов имеют окончания .jpg или .jpeg. Когда мы дважды кликаем по файлу мышкой, среда рабочего стола определяет по расширению в какой прогамме открыть файл.

Веб браузер для определения типа файла использует медиа тип (mime type), указанный в заголовке http. Например, медиа тип GIF - image/gif, медиа тип JPEG - image/jpeg. Веб сервер для определения медиа типа смотрит расширение файла. См. список медиа типов.

В файле extensions.py реализуйте программу, которая спрашивает имя файла (input("File name: ")). Выводит меди тип файла, если имя заканчивается на:

• .gif
• .jpg
• .jpeg
• .png
• .pdf
• .txt
• .zip

Демонстрация

Шаги выполнения

mkdir extensions

cd extensions

code extensions.py

Как проверить

• Сделайте рабочим каталог с программой,
• Запустите программу, выполнив python extensions.py. Введите hello.jpg и нажмите Enter. Программа должна вывести:

  	
  	image/jpeg	
  	
  	

• Запустите программу, выполнив python extensions.py. Введите document.pdf и нажмите Enter. Программа должна вывести:

  	
  	application/pdf
  	
  	

npx cs204 2023/extensions local

npx cs204 2023/extensions

Заполните форму