2020-08-17 13:54:26 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
2021-03-03 15:44:21 +00:00
|
|
|
if [ -n "$1" ]
|
2021-07-26 06:44:07 +00:00
|
|
|
then t="$1"
|
|
|
|
else t="0"
|
2021-03-03 15:44:21 +00:00
|
|
|
fi
|
|
|
|
if [ -n "$2" ]
|
2021-07-26 06:44:07 +00:00
|
|
|
then l="$2"
|
|
|
|
else l="$t"
|
|
|
|
fi
|
|
|
|
if [ -n "$3" ]
|
|
|
|
then b="$3"
|
|
|
|
else b="$t"
|
|
|
|
fi
|
|
|
|
if [ -n "$4" ]
|
|
|
|
then r="$4"
|
|
|
|
else r="$l"
|
2021-03-03 15:44:21 +00:00
|
|
|
fi
|
|
|
|
|
2021-12-21 14:45:37 +00:00
|
|
|
if ! [ "$TERM" = "xterm-kitty" ]
|
2020-08-17 13:54:26 +00:00
|
|
|
then
|
2021-12-21 14:45:37 +00:00
|
|
|
/bin/echo -e '\033[33mWarning: not running inside Kitty!\033[0m'
|
2020-08-17 13:54:26 +00:00
|
|
|
fi
|
2021-12-21 14:45:37 +00:00
|
|
|
kitty @ --to $KITTY_LISTEN_ON set-spacing padding-top=$t padding-left=$l padding-bottom=$b padding-right=$r
|