oxygenfonts: minor cleanups

Change installation directory and some minor code simplifications.
This commit is contained in:
Robert Helgesson 2016-08-28 21:18:10 +02:00
parent d22bb26fb9
commit a4524b4bfb
No known key found for this signature in database
GPG Key ID: C3DB11069E65DC86

View File

@ -1,32 +1,26 @@
{ stdenv, fetchFromGitHub }: { stdenv, fetchFromGitHub }:
let stdenv.mkDerivation rec {
pname = "oxygenfonts"; name = "oxygenfonts-20160825";
version = "20160825";
in
stdenv.mkDerivation rec { src = fetchFromGitHub {
name = "${pname}-${version}"; owner = "vernnobile";
repo = "oxygenFont";
rev = "62db0ebe3488c936406685485071a54e3d18473b";
sha256 = "134kx3d0g3zdkw8kl8p6j37fzw3bl163jv2dx4dk1451f3ramcnh";
};
src = fetchFromGitHub { phases = [ "unpackPhase" "installPhase" ];
owner = "vernnobile";
repo = "oxygenFont";
rev = "62db0ebe3488c936406685485071a54e3d18473b";
sha256 = "134kx3d0g3zdkw8kl8p6j37fzw3bl163jv2dx4dk1451f3ramcnh";
};
phases = [ "unpackPhase" "installPhase" ]; installPhase = ''
mkdir -p $out/share/fonts/truetype/
cp OxygenSans-version-0.4/*/*.ttf $out/share/fonts/truetype/
cp Oxygen-Monospace/*.ttf $out/share/fonts/truetype/
'';
installPhase = '' meta = with stdenv.lib; {
mkdir -p $out/share/fonts/truetype/${pname} description = "Desktop/gui font for integrated use with the KDE desktop";
cp OxygenSans-version-0.4/*/*.ttf $out/share/fonts/truetype/${pname} longDescription = ''
cp Oxygen-Monospace/*.ttf $out/share/fonts/truetype/${pname}
'';
meta = with stdenv.lib; {
description = "Desktop/gui font for integrated use with the KDE desktop";
longDescription =
''
Oxygen Font is a font family originally aimed as a desktop/gui Oxygen Font is a font family originally aimed as a desktop/gui
font for integrated use with the KDE desktop. font for integrated use with the KDE desktop.
@ -49,9 +43,9 @@ in
traffic accident three months after its last release, causing him severe brain traffic accident three months after its last release, causing him severe brain
injury. He finally passed away, sans oxygen, on August 25th 2016. injury. He finally passed away, sans oxygen, on August 25th 2016.
See: http://sansoxygen.com/ See: http://sansoxygen.com/
''; '';
license = licenses.ofl; license = licenses.ofl;
platforms = platforms.all; platforms = platforms.all;
}; };
} }