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
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
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 aw
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
Vous
