2017-08-10 20:43:49 +01:00
|
|
|
{ stdenv, fetchzip }:
|
2016-04-13 15:42:06 +01:00
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
fetchzip rec {
|
2016-04-13 15:42:06 +01:00
|
|
|
name = "profont";
|
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
url = "http://tobiasjung.name/downloadfile.php?file=profont-x11.zip";
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
homepage = http://tobiasjung.name;
|
|
|
|
description = "A monospaced font created to be a most readable font for programming";
|
|
|
|
maintainers = with stdenv.lib.maintainers; [ myrl ];
|
|
|
|
license = licenses.mit;
|
|
|
|
platforms = platforms.all;
|
|
|
|
};
|
|
|
|
}
|