diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2018-09-03 21:16:59 +0200 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2018-09-04 03:23:33 +0200 |
commit | 69fa70ad468b6877aa68c8c320fc7737024b74a4 (patch) | |
tree | f71623df3add56239fc533622a633cc574f49ed7 | |
parent | bf38aea59b1b3d81a66f42f8e21669d2cec69101 (diff) | |
download | nixlib-69fa70ad468b6877aa68c8c320fc7737024b74a4.tar nixlib-69fa70ad468b6877aa68c8c320fc7737024b74a4.tar.gz nixlib-69fa70ad468b6877aa68c8c320fc7737024b74a4.tar.bz2 nixlib-69fa70ad468b6877aa68c8c320fc7737024b74a4.tar.lz nixlib-69fa70ad468b6877aa68c8c320fc7737024b74a4.tar.xz nixlib-69fa70ad468b6877aa68c8c320fc7737024b74a4.tar.zst nixlib-69fa70ad468b6877aa68c8c320fc7737024b74a4.zip |
gnomeExtensions.mediaplayer: add python3 for install script
Meson no longer propagates it so we need to re-add it.
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix b/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix index f64a0ef3f27e..6038443944f2 100644 --- a/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix +++ b/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, glib, meson, gettext, ninja }: +{ stdenv, fetchFromGitHub, glib, meson, gettext, ninja, python3 }: stdenv.mkDerivation rec { name = "gnome-shell-extensions-mediaplayer-${version}"; @@ -14,6 +14,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ meson ninja + python3 ]; buildInputs = [ glib |