anonymous@RULINUX.NET~# | Last login: 2024-12-26 10:32:04 |
Регистрация Вход | Новости | Разметка | Пользователи | Галерея | Форум | Статьи | Неподтвержденное | Трекер | Правила форума | F.A.Q. | Ссылки | Поиск |
Форум - Talks | [RSS] |
Допустим есть имя файла file.ext ext - его расширение А что такое file?
Если говорить строго - то: file - имя, ext - расширение имени. Но мне нужно как-то различить термины file и file.ext
anonymous(*) (2010-07-03 17:04:00)
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.4) Gecko/20100702 Gentoo Firefox/3.6.4
|
|
|
Скрыть
Re: Вопрос терминологии>Если говорить строго - то: file - имя, ext - расширение имени. Но мне нужно как-то различить термины file и file.ext
|
Скрыть
Re: Вопрос терминологииНе только по пыховским, но и по тем же юниксовым, man basename. Там они вообще расширение суффиксом обзывают, но по умолчанию basename возвращает именно полное имя. |
Скрыть
Re: Вопрос терминологииНу да. Такое разделение ведь стало принципиально с тех пор как в микрософте придумали привязываться к расширениям. Но определение из вики всё равно мне нравится больше. |
Скрыть
Re: Вопрос терминологииПросто тут есть нюанс - что тогда считать расширением. Есть например file.tar.gz - у него расширение gz или tar.gz? Логично, что tar.gz, что, впрочем, не несёт особого смысла, ведь это результат работы tar, а потом уже наброшенный на него gzip. И делать обратное надо по порядку, а исходный файл есть file, который вообще может быть не файл, а директория. А если у меня funny.name.with.dots.rar, то тут расширение это однозначно rar. То есть что считать именем и расширением зависит ещё и от программы, которая с данным файлом работает. А уже если есть some.porn.video.with.actress.named.gz.avi, где gz - имя порноактрисы, то становится совсем хитро. Расширение avi, а сходу кажется, что это какой-то зажатый гзипом файл. |
anonymous(*)(2010-07-03 17:37:37)
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.4) Gecko/20100702 Gentoo Firefox/3.6.4 |
Скрыть
Re: Вопрос терминологииС basename там путанница. Функция вообще работает с именем только целиком, отсекая его от всего пути, а команда отсекает и расширение (suffix), если его указать. anonymous(*)(2010-07-03 17:39:12)
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.4) Gecko/20100702 Gentoo Firefox/3.6.4 |
Скрыть
Re: Вопрос терминологии>Есть например file.tar.gz - у него расширение gz или tar.gz
anonymous(*)(2010-07-03 17:42:31)
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.4) Gecko/20100702 Gentoo Firefox/3.6.4 |
Скрыть
Re: Вопрос терминологииПросто тогда сложно опознать разницу между расширением и частью имени файла, так как пока гзип не отработает, мы не знаем, является ли tar расширением, или именем файла. Точнее, в данной ситуации мы то знаем, но в общем случае нет. Ну или любое слово после точки тогда уж называть расширением. Но это тоже как-то странно. |
Скрыть
Re: Вопрос терминологииДык предшествующие расширения никого не волнуют. Ну вот скажем есть у тебя файл pornukha.avi.uue.zip.rar.tar.gz - т.е. авишник сначала заююкодили, зазиповали, сверху зарарили, затем затарили и под конец получившееся гзипнули. И разбирать его нужно в обратном порядке - сначала разгзипить, потом растарить. То, что у тара есть опция -z - это частный случай, который всё равно приведёт к выполнению сначала разгзипливания, а потом растаривания.. по-моему тут всё нормально. Хотя вот basename должно бы быть в любом случае pornukha.. |
|
|
|
Этот тред читают 1 пользователь: |
Анонимных: 1 Зарегистрированных: 0 |
Re: Вопрос терминологии
Это у кого как :(
Если по Wiki, to:
> thus dividing the filename into two parts: the basename (the primary filename) and the extension (usually indicating the file type associated with a certain file format)
(c) http://en.wikipedia.org/wiki/Filename
Если же по пыховским понятиям, to в описании функции pathinfo мы увидим другую картину:
http://www.php.net/manual/en/function.pathinfo.php
/me предпочитает версию из википедии и считает эту путаницу в терминологии ещё одним поводом ненавидеть пых.