From 1f8b05f93520c4a6a6bd6296a695c703433ba8d9 Mon Sep 17 00:00:00 2001
From: DarkWiiPlayer <darkwiiplayer@hotmail.com>
Date: Mon, 17 Aug 2020 15:54:26 +0200
Subject: [PATCH] Add padding script to change (kitty) terminal padding

---
 bin/padding | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 bin/padding

diff --git a/bin/padding b/bin/padding
new file mode 100755
index 0000000..ab5244c
--- /dev/null
+++ b/bin/padding
@@ -0,0 +1,6 @@
+#!/bin/sh
+
+if [ "$TERM" = "xterm-kitty" ]
+then
+	kitty @ set-spacing padding=$1
+fi