Re: Install gnome-shell extensions via CLI?

I don't have such a script ready, but I can tell you what to do:

Will give you a "download_url" key back. Download that zipfile, and
unzip it into ~/.local/share/gnome-shell/extensions

After that, you need to enable the extension. You can do this by
calling out to gnome-shell-extension-tool, or modifying the GSettings
key yourself.

On Thu, Apr 5, 2012 at 11:02 PM, Gavin Engel <gavin engel com> wrote:
> I've found a handful of fantastic extensions
> on, and I'd like to install them quickly next
> next I re-install Gnome.  Is there anyway I can install an extension by
> passing the id # to a command line tool, and have it
> grab the extension?  I'd rather not rely on apt-get or yum to download from
> some official repository, I'd prefer to grab the latest and greatest from
> For instance, I really like this
> extension:
> What I'd love to be able to do is type this in terminal:
> $ gnome-shell-extension-install 60;
> And have it do all the work for me.  Is there a package which does this, or
> has someone created a script for doing this that they wouldn't mind sharing?
> Thank you,
> -Gavin
> _______________________________________________
> gnome-shell-list mailing list
> gnome-shell-list gnome org


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]