web-dev-qa-db-fra.com

Comment utilisez-vous le plugin Commander dans gedit?

Ce plugin est disponible à partir du package gedit-plugins. En dehors de son nom et de sa brève description, il n’ya pas d’autres informations utiles sur l’utilisation du plugin.

Est-ce que quelqu'un sait comment utiliser ce plugin?

gedit
8
Flint

Activez le plugin de commande à partir de Edit -> Preferences ->Plugins Tab, puis vérifiez le plugin de commande.

Maintenant, cliquez sur Edit -> Commander Mode et vous verrez une invite de commande en bas.

edit

menu

commander

Voici un extrait de la page page du plugin Commander sur les bibliothèques Gnome :

  • Voir un aperçu des commandes disponibles - Tab + Tab
  • Trouver un mot dans le fichier actuel - / foo - Ceci trouvera le mot foo.
  • Remplacer un mot dans le fichier actuel - // foo bar - Ceci remplacera foo par bar.
  • Déplacez le curseur sur un certain numéro de ligne dans votre fichier - go [line number] ou juste g [line number]
  • Basculer l’indicateur de signet pour la ligne en cours - bookmark ou seulement b
8
Nitin Venkatesh

J'ai trouvé cet article à propos de gedit-commander sur le site Web de GNOME; ça devrait être vraiment utile. Le git-hub home du projet contient également des informations supplémentaires.

3
Amol Sale

Il semble que la page du plugin Commander ait disparu, mais vous pouvez toujours accéder au texte d'aide à partir du menu gedit, au moins dans la v3.4.1: Aide -> Contenu -> Configurer et utiliser les plugins gedit -> Gedit supplémentaire Plugins/Commander.

0
mwfearnley