2017-08-10 20:43:49 +01:00
|
|
|
{ stdenv, fetchzip }:
|
2014-12-07 23:10:18 +00:00
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
let
|
2014-12-07 23:10:18 +00:00
|
|
|
version = "2.92";
|
2017-08-10 20:43:49 +01:00
|
|
|
in fetchzip rec {
|
2014-12-07 23:10:18 +00:00
|
|
|
name = "dina-font-${version}";
|
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
url = "http://www.donationcoder.com/Software/Jibz/Dina/downloads/Dina.zip";
|
2014-12-07 23:10:18 +00:00
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
postFetch = ''
|
2015-11-29 21:17:14 +00:00
|
|
|
mkdir -p $out/share/fonts
|
2017-08-10 20:43:49 +01:00
|
|
|
unzip -j $downloadedFile \*.bdf -d $out/share/fonts
|
2014-12-07 23:10:18 +00:00
|
|
|
'';
|
|
|
|
|
2017-08-10 20:43:49 +01:00
|
|
|
sha256 = "02a6hqbq18sw69npylfskriqhvj1nsk65hjjyd05nl913ycc6jl7";
|
|
|
|
|
2014-12-07 23:10:18 +00:00
|
|
|
meta = with stdenv.lib; {
|
2015-04-28 09:54:58 +01:00
|
|
|
description = "A monospace bitmap font aimed at programmers";
|
2014-12-07 23:10:18 +00:00
|
|
|
longDescription = ''
|
|
|
|
Dina is a monospace bitmap font, primarily aimed at programmers. It is
|
|
|
|
relatively compact to allow a lot of code on screen, while (hopefully)
|
|
|
|
clear enough to remain readable even at high resolutions.
|
|
|
|
'';
|
|
|
|
homepage = https://www.donationcoder.com/Software/Jibz/Dina/;
|
|
|
|
downloadPage = https://www.donationcoder.com/Software/Jibz/Dina/;
|
|
|
|
license = licenses.free;
|
|
|
|
maintainers = [ maintainers.prikhi ];
|
2015-06-05 10:04:06 +01:00
|
|
|
platforms = platforms.unix;
|
2014-12-07 23:10:18 +00:00
|
|
|
};
|
|
|
|
}
|