LWN.net Logo

Managing GNOME shell extensions

Managing GNOME shell extensions

Posted Sep 23, 2011 2:07 UTC (Fri) by bronson (subscriber, #4806)
In reply to: Managing GNOME shell extensions by Corkscrew
Parent article: Managing GNOME shell extensions

I agree! This would be truly useful.

I'd hope the system would allow users to have their own dependency dbs layered on top of the system's. That way I could add (say) TenGen's MongoDB or Caffeine to my apt sources without affecting everyone on the system.

Packages would probably have to have some sort of indication that user-installable or not. It doesn't make sense to install the kernel into your home directory. Probably x.org too.

It might get weird if the user does a dist-upgrade before the machine admin. Or, if your idea of local installs automatically converting to system-wide ones works, then maybe everything just works.


(Log in to post comments)

Copyright © 2013, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds