Path: ...!news.misty.com!weretis.net!feeder8.news.weretis.net!news.trigofacile.com!news.ortolo.eu!news.izac.org!reader
From: Benoit Izac <use.reply.to@INVALID.ADDRESS>
Newsgroups: fr.comp.os.unix
Subject: Re: imagemagick
Date: Wed, 20 Oct 2021 07:50:21 +0200
Message-ID: <87bl3k8cte.fsf@izac.org>
References: <fantome.forums.tDeContes-4DA7F8.22020718102021@news.free.fr>
	<it63ieFhgt4U1@mid.individual.net>
	<fantome.forums.tDeContes-339A40.00125719102021@news.free.fr>
	<fantome.forums.tDeContes-F7FF88.02144620102021@news.free.fr>
Reply-To: benoit.izac@free.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: keg.izac.org;
	logging-data="1857808"; mail-complaints-to="usenet@izac.org"
Bytes: 1262
Lines: 12

Bonjour,

Le 20/10/2021 à 02:14, Thomas a écrit dans le message
<fantome.forums.tDeContes-F7FF88.02144620102021@news.free.fr> :

> le basename de toutes mes images se termine par "_gif",
> puis-je en profiter pour supprimer cette "extension" qui me semble
> inutile, avec une formule pas trop compliquée en bash ?

for file in *.xpm; do convert "$file" "${file%_gif}.png"; done

-- 
Benoit Izac