Utiliser un script avec Gedit

Il est utile de pouvoir lancer des scripts directement depuis son éditeur. Par exemple un script de conversion wiki2html ou un script de conversion wiki2spip. Voici la marche à suivre avec Gedit.

1. Copiez le script disponible à cette page, collez le dans votre éditeur de texte, et enregistrez le script par exemple dans le répertoire « ~/.local/share/gedit/ », en le nommant wiki2spip.sed.
2. Lancez Gedit et vérifiez que les « outils externes » sont activés. Pour cela faites Menu -> Préférences et allez dans l'onglet « Greffons ». Sélectionnez la ligne « Outils externes » si ce n'est déjà fait, et fermez.
3. Connectez un nouvel outil correspondant au script téléchargé ci-dessus. Pour cela, faite Menu -> Gestion des outils externes... Une fenêtre de configuration va s'ouvrir.
   1. Cliquez sur l’icône « + » en bas à gauche.
   2. Donnez un nom à l'outil, par exemple « Conversion wiki vers html » et validez avec entré.
   3. Dans la fenêtre de droite copiez le code qui suit :

#!/bin/sh

sed -f ~/.local/share/gedit/wiki2spip.sed $GEDIT_CURRENT_DOCUMENT_NAME

Pour exécuter le script, il suffit désormais de faire Menu -> Outils -> Outils externes -> Conversion wiki vers html. Le résultat s'affichera dans une nouvelle fenêtre.

En retournant dans « Géstion des outils externes... », il est possible d'assigner un raccourci clavier à l'outil en cliquant das la case « Touche de raccourci ».