Como você usa o plugin Commander no gedit?

7

Este plugin está disponível em gedit-plugins package. Além de seu nome e descrição resumida, não há outras informações úteis sobre o uso do plug-in.

Alguém sabe como usar este plugin?

    
por Flint 17.08.2012 / 11:33

3 respostas

7

Ative o plugin do comandante em Edit -> Preferences ->Plugins Tab , verifique o plugin do comandante.

Clique agora em Edit -> Commander Mode e você verá um prompt de comando na parte inferior.

Aquiestáumtrechoda página de plug-in do Commander nas Bibliotecas do Gnome :

  • Veja uma visão geral dos comandos disponíveis - Tab + Tab
  • Encontre uma palavra dentro do arquivo atual - / foo - Isto encontrará a palavra foo.
  • Substitua uma palavra no arquivo atual - // foo bar - Isso substituirá foo por barra.
  • Mova o cursor para um determinado número de linha no seu arquivo - go [line number] ou apenas g [line number]
  • Alterne o indicador de marcador para a linha atual - bookmark ou apenas b
por Nitin Venkatesh 17.08.2012 / 11:51
3

Eu encontrei este artigo sobre gedit-commander no GNOME local na rede Internet; deve ser realmente útil. O home git-hub do projeto também contém mais informações.

    
por Amol Sale 17.08.2012 / 11:46
0

Parece que a página do plug-in do Commander desapareceu, mas você ainda pode acessar o texto da ajuda no menu do gedit, pelo menos na v3.4.1: Ajuda - > Conteúdos - > Configurar e usar plugins do gedit - > Plugins / Comandante adicionais do gedit .

    
por mwfearnley 05.05.2016 / 13:05

Tags