|
From: | Jean-Jacques Rétorré |
Subject: | Re: Changer l'extension des fichiers midi produits |
Date: | Tue, 06 May 2008 17:35:44 +0200 |
User-agent: | Mozilla-Thunderbird 2.0.0.12 (X11/20080420) |
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 -+-
[Prev in Thread] | Current Thread | [Next in Thread] |