guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#68556] [PATCH gnome-team v5 8/8] gnu: Remove gnome-shell-extension-


From: Vivien Kraus
Subject: [bug#68556] [PATCH gnome-team v5 8/8] gnu: Remove gnome-shell-extension-sound-output-device-chooser.
Date: Wed, 17 Jan 2024 23:40:18 +0100
User-agent: Evolution 3.48.4

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 085cde7738..716ce92348 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1220,38 +1220,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
-- 
2.41.0





reply via email to

[Prev in Thread] Current Thread [Next in Thread]