Install gnome-shell extensions via CLI?
- From: Gavin Engel <gavin engel com>
- To: GNOME Shell Mailing List <gnome-shell-list gnome org>
- Subject: Install gnome-shell extensions via CLI?
- Date: Thu, 5 Apr 2012 20:02:57 -0700
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.
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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]