diff --git a/config/foot/foot.ini b/config/foot/foot.ini index f21f4ecd..543e4a0b 100644 --- a/config/foot/foot.ini +++ b/config/foot/foot.ini @@ -8,6 +8,7 @@ workers=0 [scrollback] lines=10000 +multiplier=7.0 [cursor] style=block diff --git a/migrations/1785633225.sh b/migrations/1785633225.sh new file mode 100644 index 00000000..22eae3af --- /dev/null +++ b/migrations/1785633225.sh @@ -0,0 +1,20 @@ +echo "Speed up mouse scrolling in foot" + +foot_config="$HOME/.config/foot/foot.ini" + +if [[ -f $foot_config ]] && ! grep -q '^multiplier=' "$foot_config"; then + if grep -qxF '[scrollback]' "$foot_config"; then + tmp=$(mktemp) + awk ' + { print } + !inserted && $0 == "[scrollback]" { + print "multiplier=7.0" + inserted = 1 + } + ' "$foot_config" >"$tmp" + cat "$tmp" >"$foot_config" + rm -f "$tmp" + else + printf '\n[scrollback]\nmultiplier=7.0\n' >>"$foot_config" + fi +fi