Ativei o plugin "Ferramentas Externas" para o gedit. Cliquei em Ferramentas > Gerenciar ferramentas externas, mas não apareceu uma caixa de diálogo. Não fez nada. O que eu fiz errado? Como posso reinstalar este plugin?
Responder1
Instale, se ainda não estiver, gir1.2-gtksource-3.0
o pacote:
sudo apt-get install gir1.2-gtksource-3.0
Em seguida, conceda ao seu usuário a propriedade do diretório de configuração do GEdit:
sudo chown YOUR_USERNAME /home/YOUR_USERNAME/.config/gedit
Abra o GEdit e agora você poderá usar o plugin de ferramentas externas.
Responder2
Só isso foi suficiente para resolver esse problema no meu PC.
Em seguida, conceda ao seu usuário a propriedade do diretório de configuração do GEdit:
sudo chown YOUR_USERNAME /home/YOUR_USERNAME/.config/gedit
Abra o GEdit e agora você poderá usar o plugin de ferramentas externas.