[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon
From: |
Efraim Flashner |
Subject: |
[bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon |
Date: |
Thu, 19 Dec 2019 15:38:01 +0200 |
User-agent: |
Mutt/1.12.2 (2019-09-21) |
On Thu, Dec 19, 2019 at 01:44:47PM +0100, Leo Prikler wrote:
> Am Donnerstag, den 19.12.2019, 12:00 +0100 schrieb Leo Prikler:
> > Am Donnerstag, den 19.12.2019, 11:20 +0200 schrieb Efraim Flashner:
> > > What does this need glib and glib:bin for? Is it just for building
> > > the
> > > schemas or does it actually need it at runtime?
> > To be honest, I'm not quite sure. I've copied this part from my
> > dash-
> > to-dock extension, wherein I copied it from the gnome-shell-
> > extensions
> > package.
> >
> > As far as I'm aware both packages do build schemas, but I'm not sure
> > how extensions handle them at runtime. Perhaps this is already wrong
> > in the package I originally copied the snippet from. I'll try to see
> > how far I can get with depropagation.
> >
> > Regards,
> > Leo
> Upon closer inspection, it appears depropagation is indeed possible.
> See the attached patch.
It makes sense to me that glib:bin should be a native-input but I assume
glib, if it's needed at runtime, would probably need to be propagated
since the extension doesn't refer to it. Likely it's getting glib from
another package in the environment.
Also, the depropagation patch should really be a separate patch for each
package if we go that route.
--
Efraim Flashner <address@hidden> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Leo Prikler, 2019/12/08
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Efraim Flashner, 2019/12/19
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Efraim Flashner, 2019/12/19
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Leo Prikler, 2019/12/19
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Leo Prikler, 2019/12/19
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon,
Efraim Flashner <=
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Leo Prikler, 2019/12/19
- bug#38538: [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Efraim Flashner, 2019/12/20
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Leo Prikler, 2019/12/22
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Efraim Flashner, 2019/12/23