[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon
From: |
Leo Prikler |
Subject: |
[bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon |
Date: |
Sun, 22 Dec 2019 16:33:48 +0100 |
User-agent: |
Evolution 3.32.4 |
Am Freitag, den 20.12.2019, 09:02 +0200 schrieb Efraim Flashner:
> In any case, I've pushed the patch with glib:bin in native-inputs and
> glib in propagated-inputs.
I just got around to checking and it appears the rewritten install
phase breaks the package. I've attached a fix in 0001, and also split
up my depropagation patch for the other packages.
Regards,
Leo
0001-gnu-gnome-shell-extension-hide-app-icon-Fix-installa.patch
Description: Text Data
0002-gnu-gnome-shell-extension-dash-to-dock-Depropagate-g.patch
Description: Text Data
0003-gnu-gnome-shell-extensions-Depropagate-glib-bin.patch
Description: Text Data
- [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, 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, 2019/12/20
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon,
Leo Prikler <=
- [bug#38538] [PATCH] gnu: Add gnome-shell-extension-hide-app-icon, Efraim Flashner, 2019/12/23