gnomeExtensions.mediaplayer: add python3 for install script

Meson no longer propagates it so we need to re-add it.
This commit is contained in:
Jan Tojnar 2018-09-03 21:16:59 +02:00
parent bf38aea59b
commit 69fa70ad46
No known key found for this signature in database
GPG key ID: 7FAB2A15F7A607A4

View file

@ -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