Speed up mouse scrolling in foot

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

config/foot/foot.ini

@@ -8,6 +8,7 @@ workers=0
 
 [scrollback]
 lines=10000
+multiplier=7.0
 
 [cursor]
 style=block

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