2019-05-13 02:55:32 +01:00
|
|
|
{ lib, fetchzip }:
|
2016-04-13 15:42:06 +01:00
|
|
|
|
2019-08-13 22:52:01 +01:00
|
|
|
fetchzip {
|
2016-04-13 15:42:06 +01:00
|
|
|
name = "profont";
|
|
|
|
|
2019-05-13 02:55:32 +01:00
|
|
|
url = "http://web.archive.org/web/20160707013914/http://tobiasjung.name/downloadfile.php?file=profont-x11.zip";
|
2017-08-10 20:43:49 +01:00
|
|
|
|
|
|
|
postFetch = ''
|
|
|
|
unzip -j $downloadedFile
|
2016-04-13 15:42:06 +01:00
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
mkdir -p $out/share/doc/$name $out/share/fonts/misc
|
2016-04-13 15:42:06 +01:00
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
cp LICENSE $out/share/doc/$name/LICENSE
|
2016-04-13 15:42:06 +01:00
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
for f in *.pcf; do
|
|
|
|
gzip -c "$f" > $out/share/fonts/misc/"$f".gz
|
|
|
|
done
|
|
|
|
'';
|
2016-04-13 15:42:06 +01:00
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
sha256 = "1calqmvrfv068w61f614la8mg8szas6m5i9s0lsmwjhb4qwjyxbw";
|
2016-04-13 15:42:06 +01:00
|
|
|
|
2019-05-13 02:55:32 +01:00
|
|
|
meta = with lib; {
|
2016-04-13 15:42:06 +01:00
|
|
|
homepage = http://tobiasjung.name;
|
|
|
|
description = "A monospaced font created to be a most readable font for programming";
|
2019-05-13 02:55:32 +01:00
|
|
|
maintainers = with lib.maintainers; [ myrl ];
|
2016-04-13 15:42:06 +01:00
|
|
|
license = licenses.mit;
|
|
|
|
platforms = platforms.all;
|
|
|
|
};
|
|
|
|
}
|