[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68556] [PATCH gnome-team v2 19/23] gnu: Remove gnome-shell-extensio
From: |
Vivien Kraus |
Subject: |
[bug#68556] [PATCH gnome-team v2 19/23] 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 | 33 ---------------------------------
1 file changed, 33 deletions(-)
diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index 94ab817bfe..0e3c5f9ab7 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1249,39 +1249,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"))
--
2.41.0
- [bug#68556] [PATCH gnome-team v2 17/23] gnu: gnome-shell-extension-noannoyance: Deprecate., (continued)
[bug#68556] [PATCH gnome-team v2 20/23] gnu: Remove gnome-shell-extension-topicons-redux., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 06/23] gnu: gnome-shell-extension-appindicator: Update to 53., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 15/23] gnu: gnome-shell-extension-night-theme-switcher: Update to 74., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 08/23] gnu: gnome-shell-extensions-customize-ibus: Update to 86., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 19/23] gnu: Remove gnome-shell-extension-sound-output-device-chooser.,
Vivien Kraus <=
[bug#68556] [PATCH gnome-team v2 09/23] gnu: gnome-shell-extension-topicons-redux: Update style., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v2 00/23] Update extensions with 3 replacements, Liliana Marie Prikler, 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), Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v3 4/7] gnu: gnome-shell-extension-topicons-redux: Deprecate., Vivien Kraus, 2024/01/19
[bug#68556] [PATCH gnome-team v3 3/7] gnu: gnome-shell-extension-noannoyance: Switch to fork., Vivien Kraus, 2024/01/19