Add padding script to change (kitty) terminal padding

2020-08-17 15:54:26 +02:00 · 2020-08-17 15:54:26 +02:00 · 1f8b05f935
parent 1d786b1131
commit 1f8b05f935
1 changed files with 6 additions and 0 deletions
--- a/bin/padding
+++ b/bin/padding
@ -0,0 +1,6 @@
+#!/bin/sh
+
+if [ "$TERM" = "xterm-kitty" ]
+then
+	kitty @ set-spacing padding=$1
+fi