diff options
-rw-r--r-- | pkgs/data/fonts/junicode/default.nix | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/pkgs/data/fonts/junicode/default.nix b/pkgs/data/fonts/junicode/default.nix index 950a909235f..1e1341932f5 100644 --- a/pkgs/data/fonts/junicode/default.nix +++ b/pkgs/data/fonts/junicode/default.nix @@ -1,9 +1,12 @@ { lib, fetchzip }: -fetchzip { - name = "junicode-1.002"; +let + pname = "junicode"; + version = "1.002"; +in fetchzip { + name = "${pname}-${version}"; - url = mirror://sourceforge/junicode/junicode/junicode-1.002/junicode-1.002.zip; + url = "mirror://sourceforge/junicode/junicode/junicode-${version}/junicode-${version}.zip"; postFetch = '' mkdir -p $out/share/fonts |