Re: Changer l'extension des fichiers midi produits

[Jean-Jacques Rétorré]

address@hidden 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 -+-