mplayer: Change directory name / attribute name from MPlayer to mplayer

This commit is contained in:
Eelco Dolstra 2013-01-14 13:10:16 +01:00
parent 58e9406f4b
commit f59881fc30
3 changed files with 3 additions and 3 deletions

View file

@ -1,5 +1,5 @@
{ stdenv, fetchurl, pkgconfig, glib, dbus, dbus_glib, browser, x11 { stdenv, fetchurl, pkgconfig, glib, dbus, dbus_glib, browser, x11
, GConf, gnome_mplayer, MPlayer, gmtk , GConf, gnome_mplayer, mplayer, gmtk
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
@ -23,7 +23,7 @@ stdenv.mkDerivation rec {
# browser's $PATH. # browser's $PATH.
postInstall = postInstall =
'' ''
echo "${gnome_mplayer}/bin:${MPlayer}/bin" > $out/${passthru.mozillaPlugin}/extra-bin-path echo "${gnome_mplayer}/bin:${mplayer}/bin" > $out/${passthru.mozillaPlugin}/extra-bin-path
''; '';
passthru.mozillaPlugin = "/lib/mozilla/plugins"; passthru.mozillaPlugin = "/lib/mozilla/plugins";

View file

@ -7543,7 +7543,7 @@ let
ncmpcpp = callPackage ../applications/audio/ncmpcpp { }; ncmpcpp = callPackage ../applications/audio/ncmpcpp { };
MPlayer = callPackage ../applications/video/MPlayer { mplayer = callPackage ../applications/video/mplayer {
pulseSupport = config.pulseaudio or false; pulseSupport = config.pulseaudio or false;
}; };