2021-01-11 07:54:33 +00:00
|
|
|
{ lib, stdenv
|
2019-08-05 19:02:06 +01:00
|
|
|
, fetchFromGitHub
|
|
|
|
, pantheon
|
|
|
|
}:
|
2019-02-28 23:47:30 +00:00
|
|
|
|
2019-08-13 22:52:01 +01:00
|
|
|
stdenv.mkDerivation {
|
2019-02-28 23:47:30 +00:00
|
|
|
pname = "elementary-redacted-script";
|
|
|
|
version = "unstable-2016-06-03";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "png2378";
|
|
|
|
repo = "redacted-elementary";
|
|
|
|
rev = "346440ff9ce19465e6d5c3d6d67a8573f992c746";
|
|
|
|
sha256 = "1jpd13sxkarclr0mlm66wzgpjh52ghzjzn4mywhyshyyskwn7jg1";
|
|
|
|
};
|
|
|
|
|
|
|
|
dontBuild = true;
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out/share/fonts/truetype/redacted-elementary
|
|
|
|
cp -a truetype/*.ttf $out/share/fonts/truetype/redacted-elementary
|
|
|
|
'';
|
|
|
|
|
2021-01-11 07:54:33 +00:00
|
|
|
meta = with lib; {
|
2019-02-28 23:47:30 +00:00
|
|
|
description = "Font for concealing text";
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://github.com/png2378/redacted-elementary";
|
2019-02-28 23:47:30 +00:00
|
|
|
license = licenses.ofl;
|
2021-09-18 16:00:51 +01:00
|
|
|
maintainers = teams.pantheon.members;
|
2019-02-28 23:47:30 +00:00
|
|
|
platforms = platforms.linux;
|
|
|
|
};
|
|
|
|
}
|