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

De April MediaWiki
Aller à la navigationAller à la recherche
(modification de la catégorie)
Aucun résumé des modifications
Ligne 1 : Ligne 1 :
Il est utile de pouvoir lancer des scripts directement depuis son éditeur. Par exemple un [[Conversion wiki vers html avec sed|script de conversion wiki2html]]. Voici la marche à suivre avec Gedit.
Il est utile de pouvoir lancer des scripts directement depuis son éditeur. Par exemple un [[Conversion wiki vers html avec sed|script de conversion wiki2html]] ou un [[Conversion wiki vers spip avec sed|script de conversion wiki2spip]]. Voici la marche à suivre avec Gedit.


# Copiez le script [[Conversion wiki vers html avec sed|disponible à cette page]], collez le dans votre éditeur de texte, et enregistrez le script dans le répertoire « <tt>~/.gnome2/gedit/</tt> », en le nommant <tt>wiki2html.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 Édition -> 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 Outils -> Gérer les 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 -> Géstion des outils externes... Une fenêtre de configuration va s'ouvrir.
## Cliquez sur l’icône « nouveau » 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é.
## Dans la fenêtre de droite copiez le code qui suit :
## Dans la fenêtre de droite copiez le code qui suit :
  #!/bin/sh
  #!/bin/sh
   
   
  sed -f ~/.gnome2/gedit/wiki2html.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 Outils -> Outils externes -> Conversion wiki vers html. Le résultat s'affichera dans une nouvelle fenêtre.

Version du 17 janvier 2021 à 18:13

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 -> Géstion 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 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 ».