Utiliser un script avec Gedit

De April MediaWiki
Révision datée du 17 janvier 2021 à 19:16 par Polux (discussion | contributions)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
Aller à la navigationAller à la recherche

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 ».