From 3b0151eeca7105c2118aec53d500a517822eb4d3 Mon Sep 17 00:00:00 2001 From: Robert Greener Date: Thu, 18 Apr 2024 19:36:07 +0100 Subject: [PATCH] profiles/package.mask: Mask media-font/*-nerdfont packages Signed-off-by: Robert Greener --- profiles/package.mask | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index cf1b688241..0e6d5885b7 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -14,6 +14,31 @@ # New entries go on top. +# Robert Greener (2024-04-18) +# Superceded by media-fonts/nerdfonts[firacode] +# Removal on 2024-05-18 +media-fonts/firacode-nerdfont + +# Robert Greener (2024-04-18) +# Superceded by media-fonts/nerdfonts[iosevka] +# Removal on 2024-05-18 +media-fonts/iosevka-nerdfont + +# Robert Greener (2024-04-18) +# Superceded by media-fonts/nerdfonts[jetbrainsmono] +# Removal on 2024-05-18 +media-fonts/jetbrainsmono-nerdfont + +# Robert Greener (2024-04-18) +# Superceded by media-fonts/nerdfonts[robotomono] +# Removal on 2024-05-18 +media-fonts/robotomono-nerdfont + +# Robert Greener (2024-04-18) +# Superceded by media-fonts/nerdfonts[ubuntumono] +# Removal on 2024-05-18 +media-fonts/ubuntumono-nerdfont + # Anna Vyalkova (2024-04-14) # Depends on nonexistent app-misc/pup. Upstream is long time dead. No revdeps. # Removal on 2024-05-14.