2014-04-18 23:42:07 +01:00
|
|
|
{ stdenv, fetchurl, libxslt, docbook_xsl, makeWrapper }:
|
2014-04-16 14:01:11 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2018-03-21 12:39:12 +00:00
|
|
|
name = "xdg-user-dirs-0.17";
|
2017-08-27 03:24:06 +01:00
|
|
|
|
2014-04-16 14:01:11 +01:00
|
|
|
src = fetchurl {
|
2018-06-28 19:43:35 +01:00
|
|
|
url = "https://user-dirs.freedesktop.org/releases/${name}.tar.gz";
|
2018-03-21 12:39:12 +00:00
|
|
|
sha256 = "13216b8rfkzak5k6bvpx6jvqv3cnbgpijnjwj8a8d3kq4cl0a1ra";
|
2014-04-16 14:01:11 +01:00
|
|
|
};
|
|
|
|
|
2014-04-18 23:42:07 +01:00
|
|
|
buildInputs = [ libxslt docbook_xsl makeWrapper ];
|
|
|
|
|
|
|
|
preFixup = ''
|
|
|
|
wrapProgram "$out/bin/xdg-user-dirs-update" \
|
|
|
|
--prefix XDG_CONFIG_DIRS : "$out/etc/xdg"
|
|
|
|
'';
|
2014-04-16 14:01:11 +01: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;
|
|
|
|
};
|
|
|
|
}
|