editorconfig gedit

Plugin EditorConfig Gedit

Il s'agit d'un plugin EditorConfig pour gedit.

Téléchargement du plugin Gedit

Cliquez ici pour télécharger la dernière version

Les anciennes versions du plugin EditorConfig Gedit peuvent être téléchargées sous forme de fichier d'archive à partir de la page des balises.

Le plugin peut également être téléchargé via Git comme suit :

 git clone git://github.com/editorconfig/editorconfig-gedit.git

Installation

Tout d’abord, assurez-vous que la bibliothèque principale EditorConfig Python Core est installée sur votre ordinateur.

Ensuite, installez le plugin compatible avec votre version de Gedit en exécutant le script install.sh . Le script install.sh doit installer le plugin approprié pour votre version de Gedit. Si cela ne fonctionne pas, les instructions ci-dessous peuvent être utilisées pour installer le plugin manuellement.

Après avoir installé le plugin, il doit être activé dans Gedit. Pour activer le plugin, accédez à Edition -> Préférences -> Plugins et vérifiez le plugin EditorConfig.

Installation manuelle

Pour installer le plugin gedit 3 manuellement, exécutez la commande de copie suivante :

 cp -Lr editorconfig.plugin editorconfig_gedit3.py editorconfig_plugin ~/.local/share/gedit/plugins/

Pour installer le plugin gedit 2 manuellement, exécutez la commande de copie suivante :

 cp -Lr editorconfig.gedit-plugin editorconfig_gedit2.py editorconfig_plugin ~/.gnome2/gedit/plugins/

Vous devrez peut-être remplacer "python3" dans le fichier editorconfig.plugin par "python" si gedit se plaint du chargeur.

Propriétés prises en charge

Le plugin EditorConfig Gedit prend entièrement en charge les propriétés EditorConfig suivantes :

• indent_style
• trim_trailing_whitespace
• end_of_line (uniquement dans Gedit <= 3.14)
• max_line_length
• root (utilisé uniquement par le noyau EditorConfig)

Il existe une prise en charge partielle pour les propriétés suivantes :

• retrait_size
• tab_width

Avec le plugin Gedit, tab_width ne peut pas être défini sur une valeur différente de indent_size . Lorsque indent_style est "tab", les tabulations seront utilisées pour l'indentation et tab_width sera utilisé pour la taille de l'indentation afin de conserver la largeur correcte des caractères de tabulation. Lorsque indent_style est défini sur "space", la propriété tab_width est ignorée et les tabulations sont toujours définies sur la largeur de indent_size .

Remarque pour les développeurs

Le répertoire editorconfig-core-py est un sous-arbre. Mettez-le à jour en utilisant

 git subtree pull --prefix editorconfig-core-py https://github.com/editorconfig/editorconfig-core-py master