2014-08-28 13:16:11 +01:00
|
|
|
{ stdenv, fetchurl }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "di";
|
2020-01-06 08:24:56 +00:00
|
|
|
version = "4.47.3";
|
2014-08-28 13:16:11 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
2019-10-05 01:32:21 +01:00
|
|
|
url = "https://gentoo.com/${pname}/${pname}-${version}.tar.gz";
|
2020-01-06 08:24:56 +00:00
|
|
|
sha256 = "0m4npba50sf5s61g5z3xd2r7937zwja941f2h3f081xi24c2hfck";
|
2014-08-28 13:16:11 +01:00
|
|
|
};
|
|
|
|
|
2016-07-04 21:39:58 +01:00
|
|
|
makeFlags = [ "INSTALL_DIR=$(out)" ];
|
2014-08-28 13:16:11 +01:00
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2016-07-04 21:39:58 +01:00
|
|
|
description = "Disk information utility; displays everything 'df' does and more";
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://gentoo.com/di/";
|
2014-08-28 13:16:11 +01:00
|
|
|
license = licenses.zlib;
|
2019-10-05 01:32:21 +01:00
|
|
|
updateWalker = true;
|
2019-12-26 21:28:10 +00:00
|
|
|
maintainers = with maintainers; [ manveru ];
|
2014-08-28 13:16:11 +01:00
|
|
|
platforms = platforms.all;
|
|
|
|
};
|
|
|
|
}
|