Vorrei aumentare l'imbottitura nel terminale di gnome, perché l'impostazione predefinita non ha imbottitura e mi fa male agli occhi.

(Riempimento come in: voglio spazio tra il bordo della finestra e dove viene visualizzato l'input / output del testo.)

Per esempio:

=[X][-][ ]=============My Terminal==================
|                                                  |
|  $> echo "Padding occurs on both sides for long  |
|     input"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================

Modificato il 02 giugno 2018: A partire da Ubuntu 18.04, è necessario aggiungere un altro selettore di elementi affinché funzioni.

Paul aveva principalmente ragione. Questa soluzione estesa funziona a partire da Ubuntu 14.04.1 con GNOME Terminal 3.6.2 .

Per tutte le versioni:

1. Aggiungi il seguente codice a ~/.config/gtk-3.0/gtk.css:
   

   VteTerminal,
   TerminalScreen,
   vte-terminal {
       padding: 10px 10px 10px 10px;
       -VteTerminal-inner-border: 10px 10px 10px 10px;
   }
   

   Modifica: dovrai creare il file se non esiste già (grazie jonS90).

2. Uccidi tutte le istanze di gnome-terminal:

   $ killall gnome-terminal
   

3. Riavvia gnome-terminal.

Ho provato tutte le risposte qui su Ubuntu 16.10 con gnome-terminal 3.20.2 e non hanno funzionato. Ho trovato la soluzione aggiornata in questo thread del launchpad . Nel file ~/.config/gtk-3.0/gtk.css(che potrebbe essere necessario creare), aggiungi questo:

vte-terminal {
    padding: 10px;
}

Per spostare l'output del terminale lontano dai bordi della finestra, creare il foglio di stile ~ / .config / gtk-3.0 / gtk.css con le seguenti impostazioni:

TerminalScreen {
 -VteTerminal-inner-border: 10px 10px 10px 10px;
}

https://bbs.archlinux.org/viewtopic.php?id=163964

Puoi farlo con alcuni terminali, ad esempio vecchio xterm

xterm -b 10 -title "-b 10" -e nano &
xterm -title "no border spec" -e nano & 

Nel manuale man xtermtrovi come impostare i caratteri, i colori di primo piano e di sfondo. Forse un po 'complicato da configurare, ma molto flessibile.

Si prega di passare attraverso questo problema - Unity Terminal 16.04

Il commento sulla lista dei desideri descrive soluzioni molto appropriate per i terminali Ubuntu 16.04, in cui è necessario modificare il file ~/.config/gtk-3.0/gtk.css:

VteTerminal,
TerminalScreen {
    padding: 10px 10px 10px 10px;
    -VteTerminal-inner-border: 10px 10px 10px 10px;
}

A

VteTerminal {
    padding: 10px;
}

paddingfunziona come il normale CSS padding.

Ai vecchi tempi c'erano X risorse . Creando un file .Xdefaultso .Xresourcesnella tua home directory puoi cambiare ogni tipo di impostazione per applicazioni grafiche.

I valori predefiniti di sistema sulla mia scatola si trovano in /etc/X11/Xresourcese /etc/X11/app-defaultsma non so se gnome-terminal si prende cura di nessuno di questi.

Modifica : inoltre, questo sembra "dipartimento tematico", quindi la modifica dei file dei temi o l'avvio di gnome-terminal con un .gtkrcfile personalizzato potrebbe fare il trucco, qualcosa come

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

nel terminale, o modificando il gnome-terminal.destktop sopra per sembrare

Exec=env GTK2_RC_FILES=/home/you/custom-gtkrc gnome-terminal

potrebbe funzionare.

Non sono riuscito a trovare un parametro di riempimento nell'editor gconf o dconf. Ho fatto una ricerca sul "terminale" con il Software Center e ho trovato diverse applicazioni terminali. Gnome era solito specificare facilmente diverse applicazioni terminali, ma le cose sono cambiate un po '. /usr/share/applications/gnome-terminal.desktop è dove viene specificata l'applicazione terminale da eseguire. Apri quel file e troverai:

[New Shortcut Group]
Name=New Terminal
Exec=gnome-terminal
TargetEnvironment=Unity

Il terminale Exec = gnome può essere modificato per selezionare un'applicazione terminale diversa. La modifica di questo file è un po 'complicata perché il loro tipo MIME non è riconosciuto da Naultilus come modificabile. Dovrai iniziare la modifica dalla riga di comando come segue:

sudo gedit /usr/share/applications/gnome-terminal.desktop

Dopo aver apportato tale modifica, l'applicazione terminale può essere avviata come prima, ma verrà eseguita l'applicazione terminale alternativa.

In alternativa, ho usato la soluzione alternativa in cui si modifica il left_widthparametro (metacity 2) del tema in 15o 20pixel.

Ciò rende il bordo della finestra spesso sul lato sinistro e sposta il margine sinistro effettivo all'interno della finestra. Questo funziona bene per me poiché il colore del bordo della finestra e il colore di sfondo per il terminale sono vicini.

Ho studiato a fondo questo e l'unico altro modo per farlo è passare al xtermterminale come menzionato sopra. Tuttavia, la configurazione di xterm è una seccatura e deve essere eseguita tramite il .Xresourcesfile di configurazione, non esiste un menu con xterm.