Merci à tous et en particulier à jipe pour ses solutions en bash (j'avais bien
lu dans mon guide du shell cette combinaison : ${url##*/} mais sans
comprendre vraiment son utilité. Quant à basename, je connaissais mais je ne
pensais pas que ça fonctionnait aussi pour une url !
C'est exactement ce que je recherchais. Et dire que certains disent que linux
c'est pas génial !
CC
Le Jeudi 19 Juin 2003 17:24, jipe a écrit :
> On Thu, 19 Jun 2003 11:21:41 +0200
>
> Olivier Thauvin <[EMAIL PROTECTED]> wrote:
> > Le Mercredi 18 Juin 2003 18:40, cc a écrit :
> > > je cherche à extraire dans une url le nom du fichier, donc éliminer
> > > http://n.importe.quoi/chemin/d/acces/ de l'url.
> > > il y a t il un truc qui fait ça tout seul (ce type de traitement doit
> > > être fréquent !) ou une savante commande à base de sed ou awk ou même
> > > bash ? merci de vos suggestions
> > > CC
> >
> > aussi:
> > [EMAIL PROTECTED] tmp]$
> > url="http://n.importe.quoi/chemin/d/acces/fichier.html";
> > [EMAIL PROTECTED] tmp]$ echo $url | perl -pe 's!.*/!!'
> > fichier.html
> >
> > avec perl
>
> avec bash
>
> ]$ url="http://n.importe.quoi/chemin/d/acces/fichier.html";
> ]$ echo ${url##*/}
> fichier.html
>
> sinon la commande basename ...
>
> ]$ basename "$url"
> fichier.html
>
> bye
> jipe
Vous souhaitez acquerir votre Pack ou des Services MandrakeSoft?
Rendez-vous sur "http://www.mandrakestore.com";
