Path: ...!2.eu.feeder.erje.net!feeder.erje.net!fdn.fr!news.ortolo.eu!news.izac.org!reader
From: Benoit Izac <use.reply.to@INVALID.ADDRESS>
Newsgroups: fr.comp.os.unix
Subject: Re: basename
Date: Thu, 29 Sep 2022 07:39:44 +0200
Message-ID: <87h70qrb6n.fsf@izac.org>
References: <63350177$0$25835$426a74cc@news.free.fr>
Reply-To: benoit.izac@free.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: keg.izac.org;
	logging-data="3332775"; mail-complaints-to="usenet@izac.org"
Bytes: 1312
Lines: 25

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