Re: Install gnome-shell extensions via CLI?

[Gavin Engel <gavin engel com>]

Thank you, Jasper.  That's simple enough that I could do this on my own.

-Gavin

On Fri, Apr 6, 2012 at 7:44 AM, Jasper St. Pierre <jstpierre mecheye net> wrote:

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

   https://extensions.gnome.org/extension-info/?pk=60&shell_version=3.2

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 https://extensions.gnome.org/, 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 extension.gnome.org 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
> extensions.gnome.org.
>
> For instance, I really like this
> extension: https://extensions.gnome.org/extension/60/overlay-icons/
>
> 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
> http://mail.gnome.org/mailman/listinfo/gnome-shell-list
>



--
  Jasper