Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
timidity [Le 31/10/2017, 23:07]
Eliastik [Script pour convertir un fichier MIDI vers un fichier audio]
timidity [Le 26/12/2017, 18:53] (Version actuelle)
Eliastik
Ligne 316: Ligne 316:
 Copiez-coller le code suivant dans un nouveau document texte (à l'aide de [[gedit]], par exemple), puis enregistrez-le sous le nom **Convertir un fichier MIDI.sh** dans le dossier **~/​.local/​share/​nautilus/​scripts** (**~** est la racine de votre dossier utilisateur). Il faut ensuite rendre le script exécutable ([[tutoriel:​script_shell#​methode_graphique|méthode ici]]). Le script sera alors ensuite disponible en faisant un clic-droit tout en sélectionnant un ou plusieurs fichiers MIDI, dans le sous-menu **Scripts**. [[nautilus_scripts|Plus d'​infos sur les scripts Nautilus ici]]. Copiez-coller le code suivant dans un nouveau document texte (à l'aide de [[gedit]], par exemple), puis enregistrez-le sous le nom **Convertir un fichier MIDI.sh** dans le dossier **~/​.local/​share/​nautilus/​scripts** (**~** est la racine de votre dossier utilisateur). Il faut ensuite rendre le script exécutable ([[tutoriel:​script_shell#​methode_graphique|méthode ici]]). Le script sera alors ensuite disponible en faisant un clic-droit tout en sélectionnant un ou plusieurs fichiers MIDI, dans le sous-menu **Scripts**. [[nautilus_scripts|Plus d'​infos sur les scripts Nautilus ici]].
  
-<​code>#​!/​bin/​sh+<​code ​bash>#​!/​bin/​sh
 # Convertit des fichiers midi en wav, dans le même répertoire # Convertit des fichiers midi en wav, dans le même répertoire
 # Script by Eliastik # Script by Eliastik
  • timidity.txt
  • Dernière modification: Le 26/12/2017, 18:53
  • par Eliastik