From a953f01cd2e0636bd6cc59f50dd46f1f618b6d39 Mon Sep 17 00:00:00 2001 From: Michael Peyton Jones Date: Sat, 17 Nov 2018 12:00:22 +0000 Subject: [PATCH] desktop-file-utils: use patch for font media type Upstream seems to release very slowly - this commit has been in for some time, but they haven't cut a new release. Fixes #50402. --- pkgs/tools/misc/desktop-file-utils/default.nix | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/pkgs/tools/misc/desktop-file-utils/default.nix b/pkgs/tools/misc/desktop-file-utils/default.nix index 70bc34954b2..8dc590c5d6f 100644 --- a/pkgs/tools/misc/desktop-file-utils/default.nix +++ b/pkgs/tools/misc/desktop-file-utils/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, pkgconfig, glib, libintl }: +{ stdenv, fetchurl, fetchpatch, pkgconfig, glib, libintl }: with stdenv.lib; @@ -10,6 +10,14 @@ stdenv.mkDerivation rec { sha256 = "119kj2w0rrxkhg4f9cf5waa55jz1hj8933vh47vcjipcplql02bc"; }; + patches = [ + # Makes font a recognized media type. Committed upstream, but no release has been made. + (fetchpatch { + url = "https://gitlab.freedesktop.org/xdg/desktop-file-utils/commit/92af4108750ceaf4191fd54e255885c7d8a78b70.patch"; + sha256 = "14sqy10p5skp6hv4hgiwnj9hpr460250x42k5z0390l6nr6gahsq"; + }) + ]; + nativeBuildInputs = [ pkgconfig ]; buildInputs = [ glib libintl ];