Se si vuole usare al meglio gedit, non si possono non installare i suoi plugins che possono migliorare e facilitare il nostro lavoro. Digitare da terminale:

  sudo apt-get install gedit-plugins

Tra le tante opzioni interessanti, anche quella del terminale incorporato. Si tratta di una finestra posta nello spazio in basso del vostro documento che vi fa utilizzare un terminale senza doverne aprire uno in una ulteriore finestra.
Se avete tante finestre aperte e le vostre aree di lavoro occupate, questa soluzione è molto comoda(soprattutto se si deve programmare).
Per scegliere questa opzione, andate su:

Modifica--->Preferenze--->Plugin 

e selezionare il terzultimo plugin terminale incorporato.
Ogni volta che si vuole utilizzare il terminale, andare su:

Visualizza--->Riquadro inferiore

Alberto