Subject: Re: Changer l'extension des fichiers midi produits

From: Jean-Jacques Rétorré <[email-masked]>
Date: Tue, 06 May 2008 17:35:44 +0200

[email-masked] a écrit :
> Bonsoir,
> 
> 
> Je lis mes fichiers midi avec un logiciel qui ne reconnaît que les fichiers
> ayant l'extension .mid. Comment faire pour que toto.ly crée toto.mid au lieu de
> toto.midi (directement à la compilation, sans être obligé de renommer) et si
> possible avec une commande que je pourrais mettre dans un fichier de macro (i.e.
> ne contenant pas explicitement le nom toto) ?
> 
> Mercri,
> Drenwal
> 
> 

Personnellement, je lance toutes mes compilation à partir d'un Makefile, 
et j'ai toute une panoplie de traitements, y compris le renommage du 
fichier .midi en .mid, On peut en plus sortir plusieurs versions et 
envoyer les fichiers produits là ou l'on veut, y compris sur un serveur 
distant.

JJR.

-- 
Révolution française, Un Corse la finira.
	-+- Alphonse Allais, Anagrammes -+-