master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

gnomeExtensions.audio-switch-shortcuts 12 single

This extension allows you to switch speakers and microphones with global keyboard shortcuts, instead of using the mouse to open the Gnome Panel or navigate menus. It allows you to set specific audio devices to cycle through, and set your own hotkeys.

Name
gnome-shell-extension-audio-switch-shortcuts-12
Package set
gnomeExtensions
Homepage
https://extensions.gnome.org/extension/8150/audio-switch-shortcuts/
License
GPL-2.0-or-later
Source
pkgs/desktops/gnome/extensions/buildGnomeExtension.nix:61
Derivation
/nix/store/cw09a02wc22v0f0345w17pdag203lyav-gnome-shell-extension-audio-switch-shortcuts-12.drv
Repology
not reported as outdated · look up (as of 2026-10-08T00:43:59Z)

Maintainers 1

HandleNameContactVia
honnip Jung seungwoo GitHub · me@honnip.page · @honnip:matrix.org listed on package

Dependencies 3

PackageAsMaintainersUsed by (transitive)Status
glib 2.88.3 nativeBuildInputs 23,070 team-only outdated
bashNonInteractive 5.3p15 other input 102,175 maintained outdated
stdenv 26.05pre-git other input
90,063 team-only

Used by 0 directly, 0 transitively

No package depends on this one.