Merge pull request #101062 from suhr/julia-mono-22

julia-mono: 0.018 -> 0.022
This commit is contained in:
Rok Garbas 2020-10-19 21:48:07 +02:00 committed by GitHub
commit 2c5efec375
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,14 +1,14 @@
{ lib, fetchzip }:
let
version = "0.018";
version = "0.022";
in fetchzip {
name = "JuliaMono-${version}";
url = "https://github.com/cormullion/juliamono/releases/download/v${version}/JuliaMono.zip";
sha256 = "0ss79a9gymbhih5pgjkg1mipmk0qsvqqwlkqcdm9fz87d7kfhby3";
sha256 = "1v4a9qbvjlszamvqrj0g65z1nhahfmf1fzkgjwzkmsrdqn909dic";
postFetch = ''
mkdir -p $out/share/fonts
mkdir -p $out/share/fonts/truetype
unzip -j $downloadedFile \*.ttf -d $out/share/fonts/truetype
'';