Différences entre les versions de « Utiliser un script avec Gedit »
De April MediaWiki
Aller à la navigationAller à la recherche| 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 -> | + | # 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 « | + | 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 à 20: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.
- 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.
- 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 -> Gestion des outils externes... Une fenêtre de configuration va s'ouvrir.
- Cliquez sur l’icône « + » en bas à gauche.
- 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 :
#!/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 ».
