07/07: gnu: Remove gnome-shell-extension-sound-output-device-chooser.

[guix-commits]

lilyp pushed a commit to branch gnome-team
in repository guix.

commit 6d3c414f11e5ec9eb029fbfd20fb08731c2b9aab
Author: Vivien Kraus <vivien@planete-kraus.eu>
AuthorDate: Wed Jan 17 23:40:18 2024 +0100

    gnu: Remove gnome-shell-extension-sound-output-device-chooser.
    
    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 --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 7aa4275ceb..72f1ffe5ab 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1220,38 +1220,6 @@ GNOME Shell, including the top panel, dash and 
overview.")
 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