最近从 18.04 升级到 18.10，使用终端越来越烦了：新的提示音是滴滴声（/usr/share/sounds/gnome/default/alerts/drip.ogg），之前的提示音还在（/usr/share/sounds/ubuntu/stereo/bell.ogg）处。
我的问题是，在 gnome 终端上，当自动完成或按下左键时，会同时再现两种声音。我只想ubuntu/stereo/bell.ogg活跃，而不是两者兼而有之。
目前，我只能降低警报的音量（但仍然会播放），或者调低警报（但我不喜欢这两种“解决方案”）。