gnomeExtensions.sound-output-device-chooser: 35 -> 38

This commit is contained in:
Doron Behar 2021-05-14 20:08:22 +03:00 committed by Jan Tojnar
parent 5711c768af
commit a87c60a9c3

View File

@ -7,13 +7,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gnome-shell-extension-sound-output-device-chooser"; pname = "gnome-shell-extension-sound-output-device-chooser";
version = "35"; version = "38";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "kgshank"; owner = "kgshank";
repo = "gse-sound-output-device-chooser"; repo = "gse-sound-output-device-chooser";
rev = version; rev = version;
sha256 = "sha256-Yl5ut6kJAkAAdCBiNFpwDgshXCLMmFH3/zhnFGpyKqs="; sha256 = "sha256-LZ+C9iK+j7+DEscYCIObxXc0Bn0Z0xSsEFMZxc8REWA=";
}; };
patches = [ patches = [
@ -28,11 +28,13 @@ stdenv.mkDerivation rec {
dontBuild = true; dontBuild = true;
uuid = "sound-output-device-chooser@kgshank.net"; uuid = "sound-output-device-chooser@kgshank.net";
installPhase = ''
runHook preInstall makeFlags = [
mkdir -p $out/share/gnome-shell/extensions "INSTALL_DIR=${placeholder "out"}/share/gnome-shell/extensions"
cp -r ${uuid} $out/share/gnome-shell/extensions ];
runHook postInstall
preInstall = ''
mkdir -p ${placeholder "out"}/share/gnome-shell/extensions
''; '';
meta = with lib; { meta = with lib; {