diff mbox series

[bug#68556,gnome-team,v3,7/7] gnu: Remove gnome-shell-extension-sound-output-device-chooser.

Message ID f668e93b57d7d1da2ed3aa6b7d277b4cebad6ed0.1705709466.git.vivien@planete-kraus.eu
State New
Headers show
Series Update extensions (2/5 replaced, 2/5 no solution, 1/5 redundant) | expand

Commit Message

Vivien Kraus Jan. 17, 2024, 10:40 p.m. UTC 
This extension has not been ported to GNOME 44, because you can switch the
audio output directly in the shell.

* gnu/packages/gnome-xyz.scm (gnome-shell-extension-sound-output-device-chooser):
Remove variable.

Change-Id: Iae51c7d284b85f630b5874445c6695b32b5d523e
---
 gnu/packages/gnome-xyz.scm | 32 --------------------------------
 1 file changed, 32 deletions(-)
diff mbox series

Patch

diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 76f6bbfb27..b6a8882f52 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1214,38 +1214,6 @@  (define-public gnome-shell-extension-radio
 directly inside GNOME Shell.  It can manage stations and play streams.")
     (license license:gpl3+)))
 
-(define-public gnome-shell-extension-sound-output-device-chooser
-  (package
-    (name "gnome-shell-extension-sound-output-device-chooser")
-    (version "43")
-    (source
-     (origin
-       (method git-fetch)
-       (uri (git-reference
-             (url "https://github.com/kgshank/gse-sound-output-device-chooser")
-             (commit version)))
-       (file-name (git-file-name name version))
-       (sha256
-        (base32
-         "1qk6ypyqbv8zwwlky6cgk9hgp1zh32jmzw4wza200g4v94ifkwm9"))))
-    (build-system gnu-build-system)
-    (arguments
-     (list
-      #:tests? #f ; no check target
-      #:make-flags #~(list (string-append "INSTALL_DIR="
-                                          #$output
-                                          "/share/gnome-shell/extensions"))
-      #:phases
-      #~(modify-phases %standard-phases (delete 'configure))))
-    (native-inputs (list gettext-minimal `(,glib "bin")))
-    (inputs (list python))
-    (home-page
-     "https://extensions.gnome.org/extension/906/sound-output-device-chooser")
-    (synopsis "Sound output chooser for GNOME Shell")
-    (description "This extension shows a list of sound output and input devices
-in the status menu below the volume slider.  Various active ports like HDMI,
-Speakers etc. of the same device are also displayed for selection.")
-    (license license:gpl3+)))
 
 (define-public gnome-shell-extension-vitals
   (package