If you have more than one sound cards, it’s inconvenient to change sound output device by Volume Menu -> Sound Settings -> Output -> Choose a device for sound output.

Here’s a Gnome Shell extension by TigerSoldier that adds output device chooser on Volume Menu so that you can choose the default output device without launching Sound Settings.


This extension is available in extensions.gnome.org (open it in gnome shell via firefox browser).

Code: https://github.com/tigersoldier/Output-device-chooser-on-volume-menu