2021-01-15 22:18:51 +00:00
|
|
|
{ lib, stdenv, fetchurl, libxslt, docbook_xsl, makeWrapper }:
|
2020-04-24 23:36:52 +00:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "xdg-user-dirs-0.17";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "https://user-dirs.freedesktop.org/releases/${name}.tar.gz";
|
|
|
|
sha256 = "13216b8rfkzak5k6bvpx6jvqv3cnbgpijnjwj8a8d3kq4cl0a1ra";
|
|
|
|
};
|
|
|
|
|
2021-03-09 03:18:52 +00:00
|
|
|
nativeBuildInputs = [ makeWrapper ];
|
|
|
|
buildInputs = [ libxslt docbook_xsl ];
|
2020-04-24 23:36:52 +00:00
|
|
|
|
|
|
|
preFixup = ''
|
|
|
|
# fallback values need to be last
|
|
|
|
wrapProgram "$out/bin/xdg-user-dirs-update" \
|
|
|
|
--suffix XDG_CONFIG_DIRS : "$out/etc/xdg"
|
|
|
|
'';
|
|
|
|
|
2021-01-15 22:18:51 +00:00
|
|
|
meta = with lib; {
|
2020-04-24 23:36:52 +00:00
|
|
|
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;
|
2021-05-20 23:08:51 +00:00
|
|
|
maintainers = with maintainers; [ ];
|
2020-04-24 23:36:52 +00:00
|
|
|
platforms = platforms.linux;
|
|
|
|
};
|
|
|
|
}
|