« Utiliser un script avec Gedit » : différence entre les versions

De April MediaWiki
Aller à la navigationAller à la recherche
Aucun résumé des modifications
Aucun résumé des modifications
 
Ligne 3 : Ligne 3 :
# Copiez le script [[Conversion wiki vers spip avec sed|disponible à cette page]], collez le dans votre éditeur de texte, et enregistrez le script par exemple dans le répertoire « <tt>~/.local/share/gedit/</tt> », en le nommant <tt>wiki2spip.sed</tt>.
# Copiez le script [[Conversion wiki vers spip avec sed|disponible à cette page]], collez le dans votre éditeur de texte, et enregistrez le script par exemple dans le répertoire « <tt>~/.local/share/gedit/</tt> », en le nommant <tt>wiki2spip.sed</tt>.
# 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.
# 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.
# Connectez un nouvel outil correspondant au script téléchargé ci-dessus. Pour cela, faite Menu -> Géstion des outils externes... Une fenêtre de configuration va s'ouvrir.
# 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.
## Cliquez sur l’icône « + » en bas à gauche.
## Cliquez sur l’icône « + » en bas à gauche.
## Donnez un nom à l'outil, par exemple « Conversion wiki vers html » et validez avec entré.
## Donnez un nom à l'outil, par exemple « Conversion wiki vers html » et validez avec entré.
Ligne 11 : Ligne 11 :
  sed -f ~/.local/share/gedit/wiki2spip.sed $GEDIT_CURRENT_DOCUMENT_NAME
  sed -f ~/.local/share/gedit/wiki2spip.sed $GEDIT_CURRENT_DOCUMENT_NAME


Pour exécuter le script, il suffit désormais de faire Outils -> Outils externes -> Conversion wiki vers html. Le résultat s'affichera dans une nouvelle fenêtre.
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érer les outils externes... », il est possible d'assigner un raccourci clavier à l'outil en cliquant das la case « Touche de raccourci ».
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 ».


[[Catégorie:Aide]]
[[Catégorie:Aide]]

Dernière version du 17 janvier 2021 à 18:16

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