gedit-mediawiki

Téléchargement

Lien rapide de téléchargement de gedit-mediawiki.

Introduction

gedit-mediawiki ajoute dans gedit, l'éditeur de texte par défaut de Gnome, la coloration syntaxique pour la syntaxe MediaWiki.

Licence

gedit-mediawiki est distribué suivant les termes de la GNU General Public License telle que publiée par la Free Software Foundation: soit la version 3 de cette licence, soit (à votre gré) toute version ultérieure. Voir le fichier gpl-3.0.txt pour la version officielle de la licence, et le fichier gpl-3.0.fr.txt pour une traduction francophone non officielle.

Installation

Note: je suppose que la coloration syntaxique fonctionne bien avec gedit sous Windows, mais je n'ai pas fait de recherche en ce sens.

• Télécharger l'archive de la dernière version de gedit-mediawiki sur http://www.jpfleury.net/gedit-mediawiki.

• Décompresser l'archive. Dans une console sous GNU/Linux (dans le même dossier que celui où se trouve l'archive):

  tar xvf gedit-mediawiki-x.tbz2
  

  Ne pas oublier d'adapter le nom de l'archive.

• Toujours dans la console, s'assurer que le chemin d'installation existe:

  mkdir -p ~/.local/share/gtksourceview-2.0/language-specs/
  

• Toujours dans la console, copier le fichier de langage dans le bon dossier:

  cp gedit-mediawiki-x/mediawiki.lang ~/.local/share/gtksourceview-2.0/language-specs/
  

  Ne pas oublier d'adapter le nom du dossier gedit-mediawiki-x.

La coloration syntaxique pour la syntaxe MediaWiki sera ajoutée à l'utilisateur courant (l'installation se fait donc sans les droits du superadministrateur). Le dossier gedit-mediawiki créé par l'extraction de l'archive peut être effacé ou mis à la corbeille après l'installation.

Ne pas oublier de relancer gedit si ce dernier est déjà ouvert.

Désinstallation

• Supprimer le fichier précédemment installé:

  rm ~/.local/share/gtksourceview-2.0/language-specs/mediawiki.lang
  

Utilisation

Choisir la coloration en allant dans Affichage > Mode de coloration > Autres et cocher MediaWiki.

Captures d'écran

Voir http://www.jpfleury.net/galeries-d-images/captures-d-ecran/gedit-mediawiki

Coordonnées

• Auteur: Jean-Philippe Fleury
• Site web: http://www.jpfleury.net/gedit-mediawiki
• Contact: http://www.jpfleury.net/contact

Changements et versions

Pour la liste des changements, voir le fichier ChangeLog dans l'archive du logiciel.