Re: file extention

Page principale

Répondre à ce message
Auteur: Patrick Dupre
Date:  
À: guilde
CC: guilde
Sujet: Re: file extention
sed -s 's/\.[^.]*$//'

===========================================================================
 Patrick DUPRÉ                                 | | email: pdupre@???
 Laboratoire interdisciplinaire Carnot de Bourgogne
 9 Avenue Alain Savary, BP 47870, 21078 DIJON Cedex FRANCE
 Tel: +33 (0)380395988
===========================================================================



> Sent: Friday, July 03, 2020 at 12:28 PM
> From: "Christian Marillat" <marillat@???>
> To: guilde@???
> Subject: Re: file extention
>
> On 03 juil. 2020 12:23, Patrick Dupre <pdupre@???> wrote:
>
> > Bonjour,
>
> Salut,
>
> > Comment je peux recupere le nom sans extention apres un echo
> > echo zchunk-libs.x86_64 |
> >
> > je voudrais que zchunk-libs
>
> Si tu connais l'extension :
>
> basename zchunk-libs.x86_64 .x86_64
>
> Christian
>
>