Sia il terminale gnome che il terminatore (che sto usando sul mio laptop in questi giorni) possono essere personalizzati per apparire molto belli. Utilizzando lo schermo intero e riducendo al minimo l'ingombro del desktop è possibile ottenere un'area di buone dimensioni in cui lavorare, anche sul mio piccolo EeePC.
Tuttavia, c'è un elemento che non riesco a controllare. Le schede di Gnome sono enormemente troppo grandi e brutte. Non si adattano affatto al tema che sembra sciocco, ma per me il problema più grande è lo schermo immobiliare che viene sprecato. Su uno schermo di un piccolo laptop, in particolare, è un vero problema.
C'è un modo per cambiare queste schede? Mi rendo conto che è possibile metterli sul lato della finestra, ma poi occupano ancora più spazio!
Se ciò non è possibile con la configurazione di temi o gnome, ci sono programmi terminali come terminator che possono gestire le schede da soli? (Idealmente in un modo più elegante!)