Maus-Geschwindigkeit unter Ubuntu anpassen

Mein 7-jähriger Sohn hat heute an meinem Computer gesessen und hatte merkliche Schwierigkeiten mit dem Mauszeiger einen Button oder ein Eingabefeld zu treffen, da ihm die Maus viel zu schnell war. Leider konnte ich in den Klicki-Bunti-Einstellungs-Fenstern in der Gnome-Oberfläche die Geschwiwndigkeit nicht weiter drosseln - die war schon am unteren Ende.

Allerdings kann man die Maus noch über die Konsole langsamer machen. Wie das geht, ist sehr schön in dieser Anleitung beschrieben. Wie dort beschrieben, habe ich mir ein kleines Bash-Skript geschrieben, was mir das Umschalten der Mausgeschwindigkeit erleichert.