Éditée le 02 juin 2018 : Depuis Ubuntu 18.04, vous devez ajouter un sélecteur d'élément supplémentaire pour que cela fonctionne.

Paul avait en grande partie raison. Cette solution élargie fonctionne à partir de Ubuntu 14.04.1 con Terminal GNOME 3.6.2 .

Pour toutes les versions :

1. Ajoutez le code suivant à ~/.config/gtk-3.0/gtk.css :

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

   Editer : Vous devrez créer le fichier s'il n'existe pas déjà (merci jonS90).

2. Tuer toutes les instances de gnome-terminal :

   $ killall gnome-terminal

3. Redémarrer gnome-terminal.

J'ai essayé toutes les réponses ici sur Ubuntu 16.10 avec gnome-terminal 3.20.2 et elles n'ont pas fonctionné. J'ai trouvé la solution la plus récente dans ce fil de discussion sur le launchpad . Dans le fichier ~/.config/gtk-3.0/gtk.css (que vous devrez peut-être créer), ajoutez ceci :

vte-terminal {
    padding: 10px;
}

Pour éloigner la sortie du terminal des bords de la fenêtre, créez la feuille de style ~/.config/gtk-3.0/gtk.css avec le paramètre suivant :

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

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

Vous pouvez le faire avec certains terminaux, par exemple old xterm

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

Dans le manuel man xterm vous trouverez comment définir les polices, les couleurs d'avant-plan et d'arrière-plan. La configuration est peut-être un peu délicate, mais très flexible.

Veuillez consulter cette question - Unity Terminal 16.04

Le commentaire sur la liste de souhaits décrit une solution très appropriée pour les terminaux Ubuntu 16.04, où nous devons modifier le fichier ~/.config/gtk-3.0/gtk.css :

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

POUR

VteTerminal {
    padding: 10px;
}

padding fonctionne de la même manière que les feuilles de style CSS normales padding .