[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Changer la destination des fichiers midi générés
From: |
Jean-Jacques Gerbaud |
Subject: |
Re: Changer la destination des fichiers midi générés |
Date: |
Thu, 11 Feb 2016 14:08:16 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 |
Le 11/02/2016 13:38, Philippe Neyrat a écrit :
Bonjour,
Bonjour Philippe
J'ai des fichiers midi générés par lilypond qui sont tous, par défaut,
créés à la racine du répertoire où le fichier se situe.
Y a-t-il un moyen de changer la destination de ces fichiers ?
Un truc du genre "./monrepMidi/" ?
Je n'ai rien trouvé dans la doc à ce sujet, je cherche encore...
il n'y a pas moyen de faire un fichier /home/user/fichiers_midi/ pour y
placer tous les fichiers midi ?
Pardon, désolé, j'avais lu un peu trop vite ton message.
Effectivement, Frescobaldi génère un fichier .pdf et un fichier .mid.
la solution pourrait consister utiliser "find" pour y rechercher tous
les fichiers .mid et les mettre dans un endroit déterminé. Je pense à
une commande comme :
# find <où chercher> -type f -iname "*.mid" -exec mv -t <où placer>
'{}' \;
Cette formule n'est pas de moi. Dommage, mais elle doit marcher .
--
JJG
Ecoutez la musique "classique", ça détend !
découvrez l'histoire de votre famille : http://memoire-des-hommes.fr/