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 …