diff options
Diffstat (limited to 'media-fonts/powerline-symbols/powerline-symbols-20170508.ebuild')
| -rw-r--r-- | media-fonts/powerline-symbols/powerline-symbols-20170508.ebuild | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/media-fonts/powerline-symbols/powerline-symbols-20170508.ebuild b/media-fonts/powerline-symbols/powerline-symbols-20170508.ebuild new file mode 100644 index 000000000000..edcc228cf761 --- /dev/null +++ b/media-fonts/powerline-symbols/powerline-symbols-20170508.ebuild @@ -0,0 +1,20 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 +inherit font + +DESCRIPTION="OpenType Unicode font with symbols for Powerline/Airline" +HOMEPAGE="https://github.com/powerline/powerline" +SRC_URI="https://dev.gentoo.org/~johu/distfiles/${P}.tar.xz" +# We're redistributing just the (unversioned) font from the upstream repo here + +LICENSE="MIT-with-advertising" +SLOT="0" +KEYWORDS="~amd64 ~arm ~x86" +IUSE="" + +FONT_S="${S}" +FONT_SUFFIX="otf" +FONT_CONF=( 10-powerline-symbols.conf ) +DOCS="README.rst" |