diff mbox series

[bug#56128,3/4] gnu: Add gnome-shell-extension-sound-output-device-chooser

Message ID AqzzvTz8FqF_ZjPIuXsryf0YeeaFePvL9eRhF2gxSC7Vzl5oPDj0-tgdfhUUd9iCqa_7Vv7KXT5DcFwPNXqGs-FUt4tKnqQp9M5ClMhkpws=@proton.me
State Accepted
Headers show
Series [bug#56128] gnu: Add some gnome extensions | expand

Commit Message

Sughosha June 22, 2022, 6:20 a.m. UTC 
From f6090daf39b938440bc5381bfd53ffc69083f25f Mon Sep 17 00:00:00 2001
From: Sughosha <sughosha@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(+)

--
2.36.1
diff mbox series

Patch

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")