Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > fr.comp.os.unix > #8033 > unrolled thread

basename

Started byThomas <fantome.forums.tDeContes@free.fr.invalid>
First post2022-09-29 04:22 +0200
Last post2022-10-01 23:12 +0200
Articles 9 — 5 participants

Back to article view | Back to fr.comp.os.unix


Contents

  basename Thomas <fantome.forums.tDeContes@free.fr.invalid> - 2022-09-29 04:22 +0200
    Re: basename Benoit Izac <use.reply.to@INVALID.ADDRESS> - 2022-09-29 07:39 +0200
    Re: basename Nicolas George <nicolas$george@salle-s.org> - 2022-09-29 09:21 +0000
      Re: basename Thomas <fantome.forums.tDeContes@free.fr.invalid> - 2022-10-01 22:44 +0200
    Re: basename Jo Engo <yl@icite.fr> - 2022-10-01 13:00 +0000
      Re: basename Jo Engo <yl@icite.fr> - 2022-10-01 13:07 +0000
      Re: basename Olivier Miakinen <om+news@miakinen.net> - 2022-10-01 15:52 +0200
        Re: basename Thomas <fantome.forums.tDeContes@free.fr.invalid> - 2022-10-01 22:58 +0200
          Re: basename Olivier Miakinen <om+news@miakinen.net> - 2022-10-01 23:12 +0200

#8033 — basename

FromThomas <fantome.forums.tDeContes@free.fr.invalid>
Date2022-09-29 04:22 +0200
Subjectbasename
Message-ID<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 )

-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

[toc] | [next] | [standalone]


#8034

FromBenoit Izac <use.reply.to@INVALID.ADDRESS>
Date2022-09-29 07:39 +0200
Message-ID<87h70qrb6n.fsf@izac.org>
In reply to#8033
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

[toc] | [prev] | [next] | [standalone]


#8035

FromNicolas George <nicolas$george@salle-s.org>
Date2022-09-29 09:21 +0000
Message-ID<633563b1$0$5145$426a74cc@news.free.fr>
In reply to#8033
Thomas , dans le message <63350177$0$25835$426a74cc@news.free.fr>, a
 écrit :
> pour vous, qu'est-ce que c'est qu'un "basename" ?

Comme la plupart des mots, le sens exact dépend du contexte.

[toc] | [prev] | [next] | [standalone]


#8039

FromThomas <fantome.forums.tDeContes@free.fr.invalid>
Date2022-10-01 22:44 +0200
Message-ID<6338a6b9$0$2974$426a74cc@news.free.fr>
In reply to#8035
In article <633563b1$0$5145$426a74cc@news.free.fr>,
 Nicolas George <nicolas$george@salle-s.org> wrote:

> Thomas , dans le message <63350177$0$25835$426a74cc@news.free.fr>, a
>  écrit :
> > pour vous, qu'est-ce que c'est qu'un "basename" ?
> 
> Comme la plupart des mots, le sens exact dépend du contexte.

le contexte c'est une doc qui décrit les variables utilisées dans le 
Makefile.

-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

[toc] | [prev] | [next] | [standalone]


#8036

FromJo Engo <yl@icite.fr>
Date2022-10-01 13:00 +0000
Message-ID<th9dma$p4e$10@shakotay.alphanet.ch>
In reply to#8033
Le Thu, 29 Sep 2022 04:22:47 +0200, Thomas a écrit :

> pour vous, qu'est-ce que c'est qu'un "basename" ?

Pour moi c'est une commande :

$ basename /foo/bar/team
team
$ basename /toto/titi/ta.ta
ta.ta

$ man basename
BASENAME(1)                      User Commands                     
BASENAME(1)

NAME
       basename - strip directory and suffix from filenames

Apparement .ta n'est pas un suffixe, ou basenamene fait pas ce qu'il dit.
-- 
Mon Edmond rugis !
A Laval elle l'avala
Sigurd, nom de nom !
		-- Jouet, Jacques

[toc] | [prev] | [next] | [standalone]


#8037

FromJo Engo <yl@icite.fr>
Date2022-10-01 13:07 +0000
Message-ID<th9e2k$p4e$11@shakotay.alphanet.ch>
In reply to#8036
Le Sat, 1 Oct 2022 13:00:58 -0000 (UTC), Jo Engo a écrit :

> Apparement .ta n'est pas un suffixe, ou basenamene fait pas ce qu'il
> dit.

Visiblement je ne sais pas lire.

If speci‐
       fied, also remove a trailing SUFFIX.

(le même man que tout à l'heure)


-- 
De 97 à 99,
Maints Chouans gouailleurs bâfraient chaude andouille et froid bœuf.
		-- Bernard, Étienne

[toc] | [prev] | [next] | [standalone]


#8038

FromOlivier Miakinen <om+news@miakinen.net>
Date2022-10-01 15:52 +0200
Message-ID<th9gm1$o95$1@cabale.usenet-fr.net>
In reply to#8036
Le 01/10/2022 à 15:00, Jo Engo a écrit :
> 
>> pour vous, qu'est-ce que c'est qu'un "basename" ?
> 
> Pour moi c'est une commande :
> 
> $ basename /foo/bar/team
> team
> $ basename /toto/titi/ta.ta
> ta.ta
> 
> $ man basename
> BASENAME(1)                      User Commands                     
> BASENAME(1)
> 
> NAME
>        basename - strip directory and suffix from filenames
> 
> Apparement .ta n'est pas un suffixe, ou basenamene fait pas ce qu'il dit.

Si, .ta n'est pas un suffixe /en soi/, mais il l'est si tu le lui dis.

$ basename /toto/titi/ta.ta .ta
ta

Mais aussi :

$ basename /toto/titi/ta.ta a
ta.t
$ basename /toto/titi/ta.ta ta
ta.
$ basename /toto/titi/ta.ta a.ta
t

La notion rigide de suffixe dans MS-DOS et Windows n'existe pas en Unix.

-- 
Olivier Miakinen

[toc] | [prev] | [next] | [standalone]


#8040

FromThomas <fantome.forums.tDeContes@free.fr.invalid>
Date2022-10-01 22:58 +0200
Message-ID<6338a9f9$0$24804$426a74cc@news.free.fr>
In reply to#8038
In article <th9gm1$o95$1@cabale.usenet-fr.net>,
 Olivier Miakinen <om+news@miakinen.net> wrote:

> Le 01/10/2022 à 15:00, Jo Engo a écrit :
> > 
> >> pour vous, qu'est-ce que c'est qu'un "basename" ?


> > Apparement .ta n'est pas un suffixe, ou basenamene fait pas ce qu'il dit.
> 
> Si, .ta n'est pas un suffixe /en soi/, mais il l'est si tu le lui dis.

ok, on est très proche de la "définition ada" mais avec un suffixe assez 
"souple".

(savez vous pourquoi make a inventé de ne pas supprimer le chemin ?)


> La notion rigide de suffixe dans MS-DOS et Windows n'existe pas en Unix.

ok, c'est surement pour ça qu'en ada c'est rigide aussi.
(et pour make aussi, le '.' est l'unique séparateur du suffixe.)

-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

[toc] | [prev] | [next] | [standalone]


#8041

FromOlivier Miakinen <om+news@miakinen.net>
Date2022-10-01 23:12 +0200
Message-ID<thaaf5$tjq$1@cabale.usenet-fr.net>
In reply to#8040
Le 01/10/2022 22:58, Thomas a écrit :
> 
> (savez vous pourquoi make a inventé de ne pas supprimer le chemin ?)

Je ne le "sais" pas, mais je crois que je peux le deviner.

Dans make, l'utilisation principale est de compiler sur place des fichiers,
par exemple ../../machin/truc.c en ../../machin/truc.o

Du coup, un basename qui se contente de supprimer le .c pour ensuite y coller
un .o ça semble plutôt logique (ou le contraire, pour les dépendances).

Au contraire, si ../../machin/truc.c et ./autre/chemin/truc.c donnaient tous
les deux truc.o en perdant le chemin au passage, ça ne serait pas très utile.


-- 
Olivier Miakinen

[toc] | [prev] | [standalone]


Back to top | Article view | fr.comp.os.unix


csiph-web