OberonCore
https://forum.oberoncore.ru/

Files.dir.GetFileName
https://forum.oberoncore.ru/viewtopic.php?f=23&t=6633
Страница 1 из 1

Автор:  adimetrius [ Среда, 08 Июль, 2020 14:18 ]
Заголовок сообщения:  Files.dir.GetFileName

Коллеги,
В документации сказано: писал(а):
PROCEDURE (d: Directory) GetFileName (name: Name; type: Type; OUT filename: Name)
NEW, ABSTRACT
Make a file name out of a file and its type.
filename = name + "." + type


Однако де-факто на Linux, если в name есть точка, filename = name.

Как полагаете, это ошибка документации или реализации?

Автор:  Иван Денисов [ Среда, 08 Июль, 2020 14:33 ]
Заголовок сообщения:  Re: Files.dir.GetFileName

Думаю, что должно склеивать, если после точки отличный от заданного type.

Код:
name.tar.gz + gz = name.tar.gz
name.tar + gz = name.tar.gz

Автор:  adimetrius [ Понедельник, 20 Июль, 2020 22:29 ]
Заголовок сообщения:  Re: Files.dir.GetFileName

Иван Денисов писал(а):
Думаю, что должно склеивать, если после точки отличный от заданного type.

Код:
name.tar.gz + gz = name.tar.gz
name.tar + gz = name.tar.gz


Это, кмк, еще полезней было бы, чем в документации описано! Но тогда нужно и в доке поправить.

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/