« 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 | # 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 | # 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 | # 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 « | ## 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 ~/. | 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.
- 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 -> Géstion 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 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 ».
