Como você usa o plugin Commander no gedit?

8

Este plugin está disponível no gedit-pluginspacote. Além do nome e da descrição curta, não há outras informações úteis sobre o uso do plug-in.

Alguém sabe como usar este plugin?

gedit pedra
fonte

Respostas:

8

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

Agora clique Edit -> Commander Modee você verá um prompt de comando na parte inferior.

editar

cardápio

comandante

Aqui está um trecho da página do plugin Commander nas bibliotecas do Gnome :

  • Veja uma visão geral dos comandos disponíveis - Tab + Tab
  • Encontre uma palavra no arquivo atual - / foo- Isso encontrará a palavra foo.
  • Substitua uma palavra no arquivo atual - // foo bar- Isso substituirá foo por bar.
  • Mova o cursor para um determinado número de linha no seu arquivo - go [line number]ou apenasg [line number]
  • Alterne o indicador de marcador para a linha atual - bookmarkou apenasb
Nitin Venkatesh
fonte
3

Eu encontrei este artigo sobre gedit-commanderno site do GNOME; deve ser realmente útil. A página inicial do projeto git-hub também contém mais informações.

Amol Sale
fonte
0

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

mwfearnley
fonte
Ok, quando eu verifiquei isso, eu estava em 12.04LTS. Infelizmente, e não surpreendentemente, passou do gedit desde 14.04 (que usa o gedit 3.10.4). Na próxima vez que eu estiver no dia 12.04, tentarei me lembrar do texto de ajuda, embora eu ache que a resposta de Nitin provavelmente cubra a maior parte.
Mwfearnley