[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team v3 7/7] gnu: Remove gnome-shell-extension-
From: |
Vivien Kraus |
Subject: |
[bug#68556] [PATCH gnome-team v3 7/7] 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 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
--
2.41.0
- [bug#68556] [PATCH gnome-team v3 0/7] [PATCH gnome-team v3 0/7] Update extensions (2/5 replaced, 2/5 no solution, 1/5 redundant), (continued)
[bug#68556] [PATCH gnome-team v3 1/7] gnu: gnome-menus: Build GObject Introspection data., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v3 7/7] gnu: Remove gnome-shell-extension-sound-output-device-chooser.,
Vivien Kraus <=
[bug#68556] [PATCH gnome-team v3 6/7] gnu: Remove gnome-shell-extension-transparent-window., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v3 2/7] gnu: gnome-shell-extensions: Propagate gnome-menus., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v3 0/7] [PATCH gnome-team v3 0/7] Update extensions (2/5 replaced, 2/5 no solution, 1/5 redundant), Liliana Marie Prikler, 2024/01/19
[bug#68556] [PATCH gnome-team v4 0/8] Update the gnome-shell extensions and wrap more, Vivien Kraus, 2024/01/20
- [bug#68556] [PATCH gnome-team v4 1/8] gnu: gnome-menus: Build GObject Introspection data., Vivien Kraus, 2024/01/20
- [bug#68556] [PATCH gnome-team v4 3/8] gnu: gnome-shell-extensions: Wrap all the extensions., Vivien Kraus, 2024/01/20
- [bug#68556] [PATCH gnome-team v4 7/8] gnu: Remove gnome-shell-extension-transparent-window., Vivien Kraus, 2024/01/20
- [bug#68556] [PATCH gnome-team v4 8/8] gnu: Remove gnome-shell-extension-sound-output-device-chooser., Vivien Kraus, 2024/01/20
- [bug#68556] [PATCH gnome-team v4 6/8] gnu: Remove gnome-shell-extension-jiggle., Vivien Kraus, 2024/01/20
- [bug#68556] [PATCH gnome-team v4 2/8] gnu: gnome-shell-extensions: Wrap apps-menu., Vivien Kraus, 2024/01/20