GNU bug report logs - #56128
[PATCH] gnu: Add some gnome extensions

Previous Next

Full log

Message #20 received at 56128 <at> debbugs.gnu.org (full text, mbox):

From: Sughosha <Sughosha <at> proton.me>
To: 56128 <at> debbugs.gnu.org
Subject: [PATCH 3/4] gnu: Add gnome-shell-extension-sound-output-device-chooser
Date: Wed, 22 Jun 2022 06:20:34 +0000

[Message part 1 (text/plain, inline)]

From f6090daf39b938440bc5381bfd53ffc69083f25f Mon Sep 17 00:00:00 2001
From: Sughosha <sughosha <at> proton.me>
Date: Wed, 22 Jun 2022 08:08:04 +0200
Subject: [PATCH 3/4] gnu: Add gnome-shell-extension-sound-output-device-chooser

* gnu/packages/gnome-xyz.scm: Add gnome-shell-extension-sound-output-device-chooser
---
gnu/packages/gnome-xyz.scm | 34 ++++++++++++++++++++++++++++++++++
1 file changed, 34 insertions(+)

diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index f91d59dd62..0c256c3187 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1038,6 +1038,40 @@ (define-public gnome-shell-extension-radio
"This extension allows to browse, add and play internet radio 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)))
+ (sha256
+ (base32
+ "1qk6ypyqbv8zwwlky6cgk9hgp1zh32jmzw4wza200g4v94ifkwm9"))))
+ (build-system gnu-build-system)
+ (arguments
+ `(#:tests? #f
+ #:phases
+ (modify-phases %standard-phases
+ (add-after 'unpack 'fix-hardcoded-path
+ (lambda* (#:key outputs #:allow-other-keys)
+ (substitute* "Makefile"
+ (("INSTALL_DIR=~/.*") (string-append "INSTALL_DIR="
+ (assoc-ref outputs "out")
+ "/share/gnome-shell/extensions")))))
+ (delete 'configure))))
+ (native-inputs `(("gettext" ,gettext-minimal) ("glib:bin" ,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 (similar to gnome sound settings) 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 arc-theme
(package
(name "arc-theme")
--
2.36.1

[Message part 2 (text/html, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.