92a831a4ec
A tool to help manage well known user directories like the desktop folder and the music folder http://freedesktop.org/wiki/Software/xdg-user-dirs
21 lines
654 B
Nix
21 lines
654 B
Nix
{ stdenv, fetchurl, libxslt, docbook_xsl }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "xdg-user-dirs-0.15";
|
|
|
|
src = fetchurl {
|
|
url = "http://user-dirs.freedesktop.org/releases/${name}.tar.gz";
|
|
sha256 = "20b4a751f41d0554bce3e0ce5e8d934be98cc62d48f0b90a894c3e1916552786";
|
|
};
|
|
|
|
buildInputs = [ libxslt docbook_xsl ];
|
|
|
|
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;
|
|
};
|
|
}
|