Não é possível instalar o plugin do terminal do gedit

Question

Eu estava tentando incorporar o terminal ao gedit. MasTerminal incorporadofalta a opção quando vou paraEditar->Preferência->Plugar. Ao pesquisar na web, percebi que precisava instalar gedit-plugino que posso encontrar na Ubuntu Software Store. Mas quando pesquisei gedit-pluginaparece "Nenhum aplicativo encontrado". Estou faltando alguma coisa ou fazendo algo errado? Por favor, guie-me, sou novo no Ubuntu.

Answer 1

O nome exato do pacote é gedit-plugins, não gedit-plugin(Verifique aqui). Para instalar isso, você usaria o comando

sudo apt-get install gedit-plugins