Ho installato i seguenti pacchetti:
geditgedit-commongedit-plugins
In Ubuntu 12.04 con questi pacchetti installati tutto ciò che serviva era attivare il plugin del terminale e premere Ctrl +F9 per mostrare il pannello inferiore. Questo non è il caso di Ubuntu 13.10 (Gedit 3.8.3) e non riesco a capire come farlo.
Risposta accettata:
Dopo che sei sicuro che gedit-plugins è installato, (ri)apri gedit e vai a Modifica → Preferenze e seleziona Plugin scheda. Qui devi selezionare Terminale incorporato . Quindi quando premi Ctrl +F9 , apparirà un terminale nel riquadro inferiore:
