commit
f37c81323e
@ -80,6 +80,7 @@
|
||||
fluffynukeit = "Daniel Austin <dan@fluffynukeit.com>";
|
||||
forkk = "Andrew Okin <forkk@forkk.net>";
|
||||
fpletz = "Franz Pletz <fpletz@fnordicwalking.de>";
|
||||
fro_ozen = "fro_ozen <fro_ozen@gmx.de>";
|
||||
ftrvxmtrx = "Siarhei Zirukin <ftrvxmtrx@gmail.com>";
|
||||
funfunctor = "Edward O'Callaghan <eocallaghan@alterapraxis.com>";
|
||||
fuuzetsu = "Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>";
|
||||
|
@ -56,6 +56,6 @@ stdenv.mkDerivation rec {
|
||||
downloadPage = https://www.donationcoder.com/Software/Jibz/Dina/;
|
||||
license = licenses.free;
|
||||
maintainers = [ maintainers.prikhi ];
|
||||
platforms = platforms.linux;
|
||||
platforms = platforms.unix;
|
||||
};
|
||||
}
|
||||
|
47
pkgs/data/fonts/tewi/default.nix
Normal file
47
pkgs/data/fonts/tewi/default.nix
Normal file
@ -0,0 +1,47 @@
|
||||
{stdenv, fetchgit, bdftopcf, mkfontdir, mkfontscale}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
date = "2015-06-07";
|
||||
name = "tewi-font-${date}";
|
||||
|
||||
src = fetchgit {
|
||||
url = "https://github.com/lucy/tewi-font";
|
||||
rev = "ff930e66ae471da4fdc226ffe65fd1ccd13d4a69";
|
||||
sha256 = "d641b911cc2132a00c311e3d978c1ca454b0fb3bc3ff4b4742b9f765b765a94b";
|
||||
};
|
||||
|
||||
buildInputs = [ bdftopcf mkfontdir mkfontscale ];
|
||||
buildPhase = ''
|
||||
for i in *.bdf; do
|
||||
bdftopcf -o ''${i/bdf/pcf} $i
|
||||
done
|
||||
|
||||
gzip *.pcf
|
||||
'';
|
||||
|
||||
installPhase = ''
|
||||
fontDir="$out/share/fonts/misc"
|
||||
mkdir -p "$fontDir"
|
||||
mv *.pcf.gz "$fontDir"
|
||||
|
||||
cd "$fontDir"
|
||||
mkfontdir
|
||||
mkfontscale
|
||||
'';
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
description = "A nice bitmap font, readable even at small sizes";
|
||||
longDescription = ''
|
||||
Tewi is a bitmap font, readable even at very small font sizes. This is
|
||||
particularily useful while programming, to fit a lot of code on your
|
||||
screen.
|
||||
'';
|
||||
homepage = "https://github.com/lucy/tewi-font";
|
||||
license = {
|
||||
fullName = "GNU General Public License with a font exception";
|
||||
url = "https://www.gnu.org/licenses/gpl-faq.html#FontException";
|
||||
};
|
||||
maintainers = [ maintainers.fro_ozen ];
|
||||
platforms = platforms.unix;
|
||||
};
|
||||
}
|
@ -14551,6 +14551,8 @@ let
|
||||
|
||||
tetex = callPackage ../tools/typesetting/tex/tetex { libpng = libpng12; };
|
||||
|
||||
tewi-font = callPackage ../data/fonts/tewi {};
|
||||
|
||||
tex4ht = callPackage ../tools/typesetting/tex/tex4ht { };
|
||||
|
||||
texFunctions = import ../tools/typesetting/tex/nix pkgs;
|
||||
|
Loading…
Reference in New Issue
Block a user