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 <ga...@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
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
http://mail.gnome.org/mailman/listinfo/gnome-shell-list
