2020-08-17 13:54:26 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2021-03-03 15:44:21 +00:00
|
|
|
h=0
|
|
|
|
|
if [ -n "$1" ]
|
|
|
|
|
then h="$1"
|
|
|
|
|
fi
|
|
|
|
|
v=$h
|
|
|
|
|
if [ -n "$2" ]
|
|
|
|
|
then v="$2"
|
|
|
|
|
fi
|
|
|
|
|
|
2020-08-17 13:54:26 +00:00
|
|
|
if [ "$TERM" = "xterm-kitty" ]
|
|
|
|
|
then
|
2021-03-03 15:44:21 +00:00
|
|
|
kitty @ set-spacing padding-h=$h padding-v=$v
|
2020-08-17 13:54:26 +00:00
|
|
|
fi
|
