Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > fr.comp.os.unix > #8033 > unrolled thread
| Started by | Thomas <fantome.forums.tDeContes@free.fr.invalid> |
|---|---|
| First post | 2022-09-29 04:22 +0200 |
| Last post | 2022-10-01 23:12 +0200 |
| Articles | 9 — 5 participants |
Back to article view | Back to fr.comp.os.unix
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
| From | Thomas <fantome.forums.tDeContes@free.fr.invalid> |
|---|---|
| Date | 2022-09-29 04:22 +0200 |
| Subject | basename |
| 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]
| From | Benoit Izac <use.reply.to@INVALID.ADDRESS> |
|---|---|
| Date | 2022-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]
| From | Nicolas George <nicolas$george@salle-s.org> |
|---|---|
| Date | 2022-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]
| From | Thomas <fantome.forums.tDeContes@free.fr.invalid> |
|---|---|
| Date | 2022-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]
| From | Jo Engo <yl@icite.fr> |
|---|---|
| Date | 2022-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]
| From | Jo Engo <yl@icite.fr> |
|---|---|
| Date | 2022-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]
| From | Olivier Miakinen <om+news@miakinen.net> |
|---|---|
| Date | 2022-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]
| From | Thomas <fantome.forums.tDeContes@free.fr.invalid> |
|---|---|
| Date | 2022-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]
| From | Olivier Miakinen <om+news@miakinen.net> |
|---|---|
| Date | 2022-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