Skip to content

Instantly share code, notes, and snippets.

@sketchbuch
Last active October 25, 2023 11:18
Show Gist options
  • Save sketchbuch/7fd075dcb8ea02f51bd368b29594962b to your computer and use it in GitHub Desktop.
Save sketchbuch/7fd075dcb8ea02f51bd368b29594962b to your computer and use it in GitHub Desktop.
UBUNTU - Terminal Padding
Add Padding To Terminal
=======================
> gedit .config/gtk-3.0/gtk.css
Add the following to gtk.css and restart Terminal:
VteTerminal,
TerminalScreen,
vte-terminal {
padding: 10px;
-VteTerminal-inner-border: 10px;
}
@appel
Copy link

appel commented Oct 8, 2023

Much appreciated! Not quite sure why this is not the default.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment