Merge pull request #68034 from dtzWill/update/sudo-font-0.40

sudo-font: 0.37 -> 0.40
This commit is contained in:
Will Dietz 2019-09-04 20:57:32 -05:00 committed by GitHub
commit c96a378fb4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,11 +1,11 @@
{ lib, fetchzip }:
let
version = "0.37";
version = "0.40";
in fetchzip rec {
name = "sudo-font-${version}";
url = "https://github.com/jenskutilek/sudo-font/releases/download/v${version}/sudo.zip";
sha256 = "16x6vs016wz6rmd4p248ri9fn35xq7r3dc8hv4w2c4rz1xl8c099";
sha256 = "1nf025sjps4yysf6zkns5fzjgls6xdpifh7bz4ray9x8h5pz0z64";
postFetch = ''
mkdir -p $out/share/fonts/truetype/