FS#24308 - [gnome-shell-extension] group it

Attached to Project: Arch Linux
Opened by mattia (nTia89) - Monday, 16 May 2011, 18:32 GMT
Last edited by Ionut Biru (wonder) - Saturday, 28 May 2011, 11:10 GMT
Task Type General Gripe
Category Packages: Extra
Status Closed
Assigned To Ionut Biru (wonder)
Jan Alexander Steffens (heftig)
Architecture All
Severity Medium
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

group those packages in a [gnome-shell-extension] group
This task depends upon

Closed by  Ionut Biru (wonder)
Saturday, 28 May 2011, 11:10 GMT
Reason for closing:  Won't implement
Comment by Ionut Biru (wonder) - Monday, 16 May 2011, 18:47 GMT
this is out of question. in this stage you don't want to install random extensions.

all extensions will be enabled and the stability of the shell may be affected. is better to install only specific extensions not all of them
Comment by Jan Alexander Steffens (heftig) - Tuesday, 17 May 2011, 11:00 GMT
I agree with ioni, no doing this until gnome-shell has some proper extension management.

Loading...