2017-08-10 21:43:49 +02:00
|
|
|
{ stdenv, fetchzip }:
|
2014-12-08 00:10:18 +01:00
|
|
|
|
2017-08-10 21:43:49 +02:00
|
|
|
let
|
2014-12-08 00:10:18 +01:00
|
|
|
version = "2.92";
|
2019-08-13 23:52:01 +02:00
|
|
|
in fetchzip {
|
2014-12-08 00:10:18 +01:00
|
|
|
name = "dina-font-${version}";
|
|
|
|
|
|
2019-05-13 03:55:32 +02:00
|
|
|
# `meta.homepage` has no direct download link
|
|
|
|
|
url = "https://github.com/ProgrammingFonts/ProgrammingFonts/archive/b15ef365146be7eef4a46979cfe157c5aeefb7c0.zip";
|
2014-12-08 00:10:18 +01:00
|
|
|
|
2017-08-10 21:43:49 +02:00
|
|
|
postFetch = ''
|
2015-11-29 22:17:14 +01:00
|
|
|
mkdir -p $out/share/fonts
|
2019-05-13 03:55:32 +02:00
|
|
|
unzip -j $downloadedFile '*/Dina/*.bdf' -d $out/share/fonts
|
|
|
|
|
chmod u-x $out/share/fonts/*
|
2014-12-08 00:10:18 +01:00
|
|
|
'';
|
|
|
|
|
|
2017-08-10 21:43:49 +02:00
|
|
|
sha256 = "02a6hqbq18sw69npylfskriqhvj1nsk65hjjyd05nl913ycc6jl7";
|
|
|
|
|
|
2014-12-08 00:10:18 +01:00
|
|
|
meta = with stdenv.lib; {
|
2015-04-28 10:54:58 +02:00
|
|
|
description = "A monospace bitmap font aimed at programmers";
|
2014-12-08 00:10:18 +01: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 ];
|
|
|
|
|
};
|
|
|
|
|
}
|
