gnu: Remove gnome-shell-extension-sound-output-device-chooser.
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
This commit is contained in:
parent
c5a130f4b3
commit
6d3c414f11
1 changed files with 0 additions and 32 deletions
|
@ -1220,38 +1220,6 @@ (define-public gnome-shell-extension-radio
|
||||||
directly inside GNOME Shell. It can manage stations and play streams.")
|
directly inside GNOME Shell. It can manage stations and play streams.")
|
||||||
(license license:gpl3+)))
|
(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
|
(define-public gnome-shell-extension-vitals
|
||||||
(package
|
(package
|
||||||
|
|
Loading…
Reference in a new issue