From ad848ee6b3870b10de87e50e95d422869ca77da5 Mon Sep 17 00:00:00 2001 From: Alexander Zhirov Date: Sun, 24 Mar 2024 22:12:29 +0300 Subject: [PATCH] new xorg-font-tinos-nerd port --- ports/x/xorg-font-tinos-nerd/Pkgfile | 14 ++++++++++++++ ports/x/xorg-font-tinos-nerd/post-install | 4 ++++ 2 files changed, 18 insertions(+) create mode 100644 ports/x/xorg-font-tinos-nerd/Pkgfile create mode 100644 ports/x/xorg-font-tinos-nerd/post-install diff --git a/ports/x/xorg-font-tinos-nerd/Pkgfile b/ports/x/xorg-font-tinos-nerd/Pkgfile new file mode 100644 index 0000000..1445d10 --- /dev/null +++ b/ports/x/xorg-font-tinos-nerd/Pkgfile @@ -0,0 +1,14 @@ +# Description: The free Tinos Nerd font family. +# URL: https://www.nerdfonts.com/ +# Maintainer: Alexander Zhirov +# Depends on: xorg-mkfontdir, xorg-mkfontscale, xorg-bdftopcf, xorg-font-util + +name=Tinos +version=3.1.1 +release=1 +source=(https://github.com/ryanoasis/nerd-fonts/releases/download/v$version/$name.tar.xz) + +build() { + mkdir -p $PKG/usr/share/fonts/X11/TTF + mv TinosNerdFont*.ttf $PKG/usr/share/fonts/X11/TTF/. +} diff --git a/ports/x/xorg-font-tinos-nerd/post-install b/ports/x/xorg-font-tinos-nerd/post-install new file mode 100644 index 0000000..130897a --- /dev/null +++ b/ports/x/xorg-font-tinos-nerd/post-install @@ -0,0 +1,4 @@ +#!/bin/sh + +mkfontdir /usr/share/fonts/X11/TTF +mkfontscale /usr/share/fonts/X11/TTF