2019-06-11 21:05:25 |
Björn Daase |
bug |
|
|
added bug |
2020-06-05 06:55:12 |
Launchpad Janitor |
ubuntu-meta (Ubuntu): status |
New |
Confirmed |
|
2020-06-05 06:55:26 |
Daniel van Vugt |
tags |
|
focal groovy |
|
2020-06-05 06:55:29 |
Daniel van Vugt |
ubuntu-meta (Ubuntu): importance |
Undecided |
Medium |
|
2020-06-05 06:55:54 |
Daniel van Vugt |
summary |
ubuntu-desktop should not hard depend on gnome-shell-extension-* |
Ubuntu's gnome-shell extensions can't be uninstalled (safely) |
|
2020-06-05 06:56:02 |
Daniel van Vugt |
description |
I like the Ubuntu themed GNOME desktop but I don't like dash-to-dock.
As the preinstalled extensions, especially gnome-shell-extension-ubuntu-dock are not deactivable and not removable atomic (they are hard dependcies of gnome-desktop), the only way to remove them is to rename the extensions folder. This will also restore the dock with every update of the gnome-shell-extension-ubuntu-dock package, as it creates this folder.
Therfore, we should remove the hard dependcies. |
I like the Ubuntu themed GNOME desktop but I don't like dash-to-dock.
As the preinstalled extensions, especially gnome-shell-extension-ubuntu-dock are not deactivable and not removable atomic (they are hard dependcies of ubuntu-desktop), the only way to remove them is to rename the extensions folder. This will also restore the dock with every update of the gnome-shell-extension-ubuntu-dock package, as it creates this folder.
Therfore, we should remove the hard dependcies. |
|
2020-06-05 06:57:03 |
Daniel van Vugt |
bug |
|
|
added subscriber Daniel van Vugt |
2021-01-26 10:51:37 |
sokai |
bug |
|
|
added subscriber sokai |
2021-01-27 21:06:03 |
Amr Ibrahim |
bug |
|
|
added subscriber Amr Ibrahim |
2022-01-04 06:02:37 |
Daniel van Vugt |
description |
I like the Ubuntu themed GNOME desktop but I don't like dash-to-dock.
As the preinstalled extensions, especially gnome-shell-extension-ubuntu-dock are not deactivable and not removable atomic (they are hard dependcies of ubuntu-desktop), the only way to remove them is to rename the extensions folder. This will also restore the dock with every update of the gnome-shell-extension-ubuntu-dock package, as it creates this folder.
Therfore, we should remove the hard dependcies. |
I like the Ubuntu themed GNOME desktop but I don't like dash-to-dock.
As the pre-installed extensions, especially gnome-shell-extension-ubuntu-dock are not atomically removable (they are hard dependencies of ubuntu-desktop), the only way to remove them is to rename the extensions folder. This will also restore the dock with every update of the gnome-shell-extension-ubuntu-dock package, as it creates this folder.
Therefore, we should remove the hard dependencies. |
|
2022-01-04 06:05:00 |
Daniel van Vugt |
ubuntu-meta (Ubuntu): importance |
Medium |
Low |
|
2022-01-04 06:05:03 |
Daniel van Vugt |
ubuntu-meta (Ubuntu): status |
Confirmed |
Triaged |
|
2022-01-04 06:05:23 |
Daniel van Vugt |
tags |
focal groovy |
focal groovy jammy |
|
2022-01-04 06:05:34 |
Daniel van Vugt |
tags |
focal groovy jammy |
focal jammy |
|