Re: [gentoo-user] Unwanted fonts

2023-10-03 Thread Michael
On Monday, 2 October 2023 21:57:33 BST Neil Bothwick wrote: > On Mon, 02 Oct 2023 17:51:53 +0100, Michael wrote: > > > Reverse? Plasma-integration depends on those fonts, not the other way > > > round. > > > > ~ $ qdepends -d plasma-integration | grep noto > > ~ $ > > > > You can check the ebuild

Re: [gentoo-user] Unwanted fonts

2023-10-02 Thread Neil Bothwick
On Mon, 02 Oct 2023 17:51:53 +0100, Michael wrote: > > Reverse? Plasma-integration depends on those fonts, not the other way > > round. > > ~ $ qdepends -d plasma-integration | grep noto > ~ $ > > You can check the ebuild for plasma-integration. RDEPEND is a run-time dependency. A reverse de

Re: [gentoo-user] Unwanted fonts

2023-10-02 Thread Michael
On Monday, 2 October 2023 16:32:41 BST Peter Humphrey wrote: > On Monday, 2 October 2023 15:35:18 BST Michael wrote: > > Noto and Hack media-fonts are listed as reverse dependencies for > > kde-plasma/ plasma-integration. With no USE flag to exclude them being > > available at present, the package

Re: [gentoo-user] Unwanted fonts

2023-10-02 Thread Peter Humphrey
On Monday, 2 October 2023 15:35:18 BST Michael wrote: > Noto and Hack media-fonts are listed as reverse dependencies for kde-plasma/ > plasma-integration. With no USE flag to exclude them being available at > present, the package.provided solution can be used. Reverse? Plasma-integration depends

Re: [gentoo-user] Unwanted fonts

2023-10-02 Thread Peter Humphrey
On Monday, 2 October 2023 15:33:13 BST Cara Salter wrote: > Could you add ">media-fonts/noto-20220912" to package.mask? That (by my > understanding) would keep new versions from being installed. Yes, I've done that, and now it should blow up in my face when I try to upgrade noto to the next vers

Re: [gentoo-user] Unwanted fonts

2023-10-02 Thread Michael
On Monday, 2 October 2023 15:15:44 BST Peter Humphrey wrote: > On Monday, 2 October 2023 12:38:02 BST Arve Barsnes wrote: > > If they're actually not in use, try package.provided. > > > > # echo "media-fonts/noto" >> /etc/portage/profile/package.provided > > # emerge -C media-fonts/noto > > Ah! G

Re: [gentoo-user] Unwanted fonts

2023-10-02 Thread Cara Salter
On 10/2/23 10:15, Peter Humphrey wrote: On Monday, 2 October 2023 12:38:02 BST Arve Barsnes wrote: If they're actually not in use, try package.provided. # echo "media-fonts/noto" >> /etc/portage/profile/package.provided # emerge -C media-fonts/noto Ah! Good idea, though I had to give a versi

Re: [gentoo-user] Unwanted fonts

2023-10-02 Thread Peter Humphrey
On Monday, 2 October 2023 12:38:02 BST Arve Barsnes wrote: > If they're actually not in use, try package.provided. > > # echo "media-fonts/noto" >> /etc/portage/profile/package.provided > # emerge -C media-fonts/noto Ah! Good idea, though I had to give a version as well: # cat /etc/portage/profi

Re: [gentoo-user] Unwanted fonts

2023-10-02 Thread Arve Barsnes
On Mon, 2 Oct 2023 at 13:06, Peter Humphrey wrote: > Has anyone found a way to exclude media-fonts/noto from a Plasma system? > They're a 1GB download and I have no intention of ever using them - DejaVu > suits me perfectly. If they're actually not in use, try package.provided. # echo "media-fon

[gentoo-user] Unwanted fonts

2023-10-02 Thread Peter Humphrey
Hello list, Has anyone found a way to exclude media-fonts/noto from a Plasma system? They're a 1GB download and I have no intention of ever using them - DejaVu suits me perfectly. -- Regards, Peter.