-- Leo's gemini proxy

-- Connecting to gemini.tuxmachines.org:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini;lang=en-GB

Tux Machines


How to Increase Padding in GNOME Terminal


Posted by Trend Oceans on Sep 21, 2022


Ventoy 1.0.80 Adds Secondary Boot Menu, Now Supports More Than 1000 ISOs

today's leftovers


Don't you feel you should give some extra space around the terminal border? If yes, check how it looks after adding padding to the GNOME terminal.


Read on


↺ Read on




gemini.tuxmachines.org

-- Response ended

-- Page fetched on Fri Jun 14 05:46:33 2024