From 4f3129909cc22ffdc4a3db484d999a580605a69f Mon Sep 17 00:00:00 2001 From: Mitchell Riedstra Date: Tue, 23 Jan 2024 21:19:15 -0500 Subject: Add a rather hacky method of adjusting the padding dynamically. --- river/padding_helper | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100755 river/padding_helper (limited to 'river/padding_helper') diff --git a/river/padding_helper b/river/padding_helper new file mode 100755 index 0000000..70feb70 --- /dev/null +++ b/river/padding_helper @@ -0,0 +1,36 @@ +#!/bin/sh +set -e +XDG_CONFIG_HOME="${XDG_CONFIG_HOME:-$HOME/.config}" + +conf="$XDG_CONFIG_HOME/river/padding_conf" + +if ! [ -e "$conf" ] ; then +cat > "$conf" < "$conf" <