2021-08-15 17:12:23 +02:00
|
|
|
{ lib, runCommand, powerline }:
|
2021-01-10 06:30:21 +01:00
|
|
|
|
|
|
|
|
let
|
|
|
|
|
inherit (powerline) version;
|
2021-08-15 17:12:23 +02:00
|
|
|
in runCommand "powerline-symbols-${version}" {
|
2021-01-10 06:30:21 +01:00
|
|
|
meta = {
|
|
|
|
|
inherit (powerline.meta) license;
|
|
|
|
|
priority = (powerline.meta.priority or 0) + 1;
|
|
|
|
|
maintainers = with lib.maintainers; [ midchildan ];
|
|
|
|
|
};
|
|
|
|
|
} ''
|
|
|
|
|
install -Dm644 \
|
|
|
|
|
${powerline.src}/font/PowerlineSymbols.otf \
|
|
|
|
|
$out/share/fonts/OTF/PowerlineSymbols.otf
|
|
|
|
|
install -Dm644 \
|
|
|
|
|
${powerline.src}/font/10-powerline-symbols.conf \
|
|
|
|
|
$out/etc/fonts/conf.d/10-powerline-symbols.conf
|
|
|
|
|
''
|
