diff mbox series

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

Message ID 5e5ffd7dbd3529b7dec88efb55037c58a551816a.1705532622.git.vivien@planete-kraus.eu
State New
Headers show
Series Update the GNOME Shell extensions | 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 | 33 ---------------------------------
 1 file changed, 33 deletions(-)
diff mbox series

Patch

diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 091e8f89cb..ad832d6752 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1213,39 +1213,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-transparent-window
   (let ((commit "cc9bc70c192dd565fa6f1d1b28d9a20f99684f2a")
         (revision "45"))