Re: basename

Bonjour,

Le 29/09/2022 à 04:22, Thomas a écrit dans le message
<63350177$0$25835$426a74cc@news.free.fr> :

bonjour :-)
>
>
pour vous, qu'est-ce que c'est qu'un "basename" ?
>
>
j'ai 2 définitions différentes
(sans extension, mais avec et sans chemin) :
>
http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-A-16.html (l 80)
>
https://www.gnu.org/software/make/manual/html_node/File-Name-Functions.ht
ml#index-basename ( https://urlpetite.net/?ayp )

Pour moi, je ne sais pas, mais dans le monde Unix c'est :

<https://pubs.opengroup.org/onlinepubs/9699919799/utilities/basename.html>
<https://pubs.opengroup.org/onlinepubs/9699919799/functions/basename.html>

--
Benoit Izac