[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
- [bug#68556] [PATCH gnome-team v4 2/8] gnu: gnome-shell-extensions: Wrap apps-menu., (continued)
- [bug#68556] [PATCH gnome-team v5 0/8] Wrap gnome-shell-extensions with gobject-introspection in native-inputs, Vivien Kraus, 2024/01/29
- [bug#68556] [PATCH gnome-team v5 2/8] gnu: gnome-shell-extensions: Wrap apps-menu., Vivien Kraus, 2024/01/29
- [bug#68556] [PATCH gnome-team v5 5/8] gnu: gnome-shell-extension-topicons-redux: Deprecate., Vivien Kraus, 2024/01/29
- [bug#68556] [PATCH gnome-team v5 1/8] gnu: gnome-menus: Build GObject Introspection data., Vivien Kraus, 2024/01/29
- [bug#68556] [PATCH gnome-team v5 3/8] gnu: gnome-shell-extensions: Wrap all the extensions., Vivien Kraus, 2024/01/29
- [bug#68556] [PATCH gnome-team v5 6/8] gnu: Remove gnome-shell-extension-jiggle., Vivien Kraus, 2024/01/29
- [bug#68556] [PATCH gnome-team v5 4/8] gnu: gnome-shell-extension-noannoyance: Switch to fork., Vivien Kraus, 2024/01/29
- [bug#68556] [PATCH gnome-team v5 8/8] gnu: Remove gnome-shell-extension-sound-output-device-chooser.,
Vivien Kraus <=
- [bug#68556] [PATCH gnome-team v5 7/8] gnu: Remove gnome-shell-extension-transparent-window., Vivien Kraus, 2024/01/29
- [bug#68556] [PATCH gnome-team v5 0/8] Wrap gnome-shell-extensions with gobject-introspection in native-inputs, Liliana Marie Prikler, 2024/01/29