2014-04-19 00:42:07 +02:00
|
|
|
{ stdenv, fetchurl, libxslt, docbook_xsl, makeWrapper }:
|
2014-04-16 15:01:11 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2017-08-27 04:24:06 +02:00
|
|
|
name = "xdg-user-dirs-0.16";
|
|
|
|
|
2014-04-16 15:01:11 +02:00
|
|
|
src = fetchurl {
|
|
|
|
url = "http://user-dirs.freedesktop.org/releases/${name}.tar.gz";
|
2017-08-27 04:24:06 +02:00
|
|
|
sha256 = "1rp3c94hxjlfsryvwajklynfnrcvxplhwnjqc7395l89i0nb83vp";
|
2014-04-16 15:01:11 +02:00
|
|
|
};
|
|
|
|
|
2014-04-19 00:42:07 +02:00
|
|
|
buildInputs = [ libxslt docbook_xsl makeWrapper ];
|
|
|
|
|
|
|
|
preFixup = ''
|
|
|
|
wrapProgram "$out/bin/xdg-user-dirs-update" \
|
|
|
|
--prefix XDG_CONFIG_DIRS : "$out/etc/xdg"
|
|
|
|
'';
|
2014-04-16 15:01:11 +02:00
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
homepage = http://freedesktop.org/wiki/Software/xdg-user-dirs;
|
|
|
|
description = "A tool to help manage well known user directories like the desktop folder and the music folder";
|
|
|
|
license = licenses.gpl2;
|
|
|
|
maintainers = with maintainers; [ lethalman ];
|
|
|
|
platforms = platforms.linux;
|
|
|
|
};
|
|
|
|
}
|