Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
|
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] 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 | ||