Adicionar preenchimento ao terminal GNOME
/* Edit this file or create it if it does not exist ~/.config/gtk-3.0/gtk.css */
VteTerminal,
TerminalScreen,
vte-terminal {
padding: 10px 10px 10px 10px;
-VteTerminal-inner-border: 10px 10px 10px 10px;
}
/* restart gnome-terminal */
Gifted Gorilla