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
Opened by mattia (nTia89) - Monday, 16 May 2011, 18:32 GMT
Last edited by Ionut Biru (wonder) - Saturday, 28 May 2011, 11:10 GMT
|
Details
group those packages in a [gnome-shell-extension] group
|
This task depends upon
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