GNU bug report logs -
#68556
[PATCH gnome-team 00/25] Update the GNOME Shell extensions
Previous Next
Reported by: Vivien Kraus <vivien <at> planete-kraus.eu>
Date: Wed, 17 Jan 2024 23:13:01 UTC
Severity: normal
Tags: patch
Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
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 @@ (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
This bug report was last modified 1 year and 108 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.