Kürzlich wurde ein Upgrade von 18.04 auf 18.10 durchgeführt, und die Verwendung des Terminals wird ärgerlich: Der neue Alarmton ist ein Tropf ( /usr/share/sounds/gnome/default/alerts/drip.ogg
), und der vorherige befindet sich immer noch unter ( /usr/share/sounds/ubuntu/stereo/bell.ogg
).
Mein Problem ist, dass am Gnome-Terminal beim automatischen Vervollständigen oder Drücken von links BEIDE Sounds gleichzeitig wiedergegeben werden. Ich möchte nur ubuntu/stereo/bell.ogg
aktiv sein, nicht beides .
Im Moment konnte ich nur die Lautstärke der Warnungen reduzieren (aber beide werden immer noch abgespielt) oder die Warnungen leiser stellen (aber ich mag beide "Lösungen" nicht).