Ferdinand Keil's

electronic notes

Okt 01, 2019

Restore Default Alert Sound in Gnome (Ubuntu)

While trying to disable the terminal bell in Gnome on Ubuntu 18.04 I accidentally triggered a bug causing Gnome to play two alert sounds when triggered. The bug has been known (Ubuntu bug #1753070) for quite a while now, but unfortunately has not been fixed yet. In the bug …