Comment utilisez-vous le plugin Commander dans gedit?

8

Ce plugin est disponible dans le gedit-pluginspackage. En dehors de son nom et de sa courte description, il n'y a pas d'autres informations utiles sur l'utilisation du plugin.

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

gedit Silex
la source

Réponses:

8

Activez le plugin Commander à partir de Edit -> Preferences ->Plugins Tablà, vérifiez le plugin Commander.

Cliquez maintenant Edit -> Commander Modeet vous verrez une invite de commande en bas.

Éditer

menu

le commandant

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

  • Voir un aperçu des commandes disponibles - Tab + Tab
  • Trouver un mot dans le fichier en cours - / foo- Ceci trouvera le mot foo.
  • Remplacer un mot dans le fichier actuel - // foo bar- Cela remplacera foo par bar.
  • Déplacez le curseur sur un certain numéro de ligne dans votre fichier - go [line number]ou tout simplementg [line number]
  • Basculez l'indicateur de signet pour la ligne actuelle - bookmarkou tout simplementb
Nitin Venkatesh
la source
3

J'ai trouvé cet article sur gedit-commandersur le site Web de GNOME; cela devrait être vraiment utile. La maison git-hub du projet contient également des informations supplémentaires.

Vente Amol
la source
0

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 version 3.4.1: Aide -> Contenu -> Configurer et utiliser les plugins gedit -> Plugins gedit supplémentaires / Commander .

mwfearnley
la source
Ok, quand j'ai vérifié cela, j'étais sur 12.04LTS. Malheureusement, et sans surprise, il est passé de gedit depuis le 14.04 (qui utilise gedit 3.10.4). La prochaine fois que je suis le 12.04, je vais essayer de me souvenir de récupérer le texte d'aide, bien que je pense que la réponse de Nitin couvre probablement la plus grande partie.
mwfearnley