Difference between revisions of "Gnome-shell-extensions"
(Added Debian link) |
(gnome-shell-extensions-3.36.1) |
||
Line 3: | Line 3: | ||
|Short description=Extensions to extend functionality of GNOME Shell | |Short description=Extensions to extend functionality of GNOME Shell | ||
|Full description='''GNOME Shell Extensions''' is a collection of extensions providing additional and optional functionality to [[GNOME Shell]]. Most extensions can be installed by configuring --prefix=$HOME/.local, and will be picked automatically at next login. | |Full description='''GNOME Shell Extensions''' is a collection of extensions providing additional and optional functionality to [[GNOME Shell]]. Most extensions can be installed by configuring --prefix=$HOME/.local, and will be picked automatically at next login. | ||
− | |Homepage URL=https:// | + | |Homepage URL=https://extensions.gnome.org/ |
− | + | |Is High Priority Project=No | |
− | | | + | |VCS checkout command=git clone https://gitlab.gnome.org/GNOME/gnome-shell-extensions.git |
− | |VCS checkout command=git clone | ||
|Documentation note=Included | |Documentation note=Included | ||
− | | | + | |Decommissioned or Obsolete=No |
|Related projects=gnome-shell | |Related projects=gnome-shell | ||
− | |Version identifier=3. | + | |Version identifier=3.36.1 |
− | |Version date= | + | |Version date=2020/03/30 |
|Version status=stable | |Version status=stable | ||
− | |Version download=https://download.gnome.org/sources/gnome-shell-extensions/3. | + | |Version download=https://download.gnome.org/sources/gnome-shell-extensions/3.36/ |
− | |Last review by= | + | |Last review by=Genium |
− | |Last review date= | + | |Last review date=2020/03/31 |
|Submitted date=2015-07-17 | |Submitted date=2015-07-17 | ||
+ | |User level=intermediate | ||
+ | |Component programs=apps-menu, auto-move-windows, drive-menu, launch-new-instance, native-window-placement, places-menu, screenshot-window-sizer, user-theme, window-list, windowsNavigator, workspace-indicator | ||
+ | |Accepts cryptocurrency donations=No | ||
+ | |Checksum=https://download.gnome.org/sources/gnome-shell-extensions/3.36/gnome-shell-extensions-3.36.1.sha256sum | ||
+ | |Test entry=No | ||
|Is GNU=No | |Is GNU=No | ||
}} | }} | ||
Line 33: | Line 37: | ||
}} | }} | ||
{{Resource | {{Resource | ||
− | |Resource audience= | + | |Resource audience=Developer |
− | |Resource URL=https:// | + | |Resource kind=Bug Tracking |
+ | |Resource URL=https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/ | ||
}} | }} | ||
{{Resource | {{Resource | ||
Line 44: | Line 49: | ||
|Resource audience=Developer | |Resource audience=Developer | ||
|Resource kind=Download | |Resource kind=Download | ||
− | |Resource URL= | + | |Resource URL=https://download.gnome.org/sources/gnome-shell-extensions/ |
}} | }} | ||
{{Resource | {{Resource | ||
− | |Resource audience= | + | |Resource audience=Wiki |
|Resource kind=Homepage | |Resource kind=Homepage | ||
− | |Resource URL=https:// | + | |Resource URL=https://wiki.gnome.org/Projects/GnomeShell/Extensions |
}} | }} | ||
{{Resource | {{Resource | ||
− | |Resource audience= | + | |Resource audience=Debian (Ref) |
− | + | |Resource URL=https://tracker.debian.org/pkg/gnome-shell-extensions | |
− | |Resource URL=https:// | ||
}} | }} | ||
{{Resource | {{Resource | ||
Line 61: | Line 65: | ||
|Resource URL=http://ftp.debian.org/debian/pool/main/g/gnome-shell-extensions/ | |Resource URL=http://ftp.debian.org/debian/pool/main/g/gnome-shell-extensions/ | ||
}} | }} | ||
− | {{Software category}} | + | {{Software category |
+ | |Programming-language=javascript | ||
+ | |Runs-on=BSD, GNU/Linux | ||
+ | |Use=interface | ||
+ | }} | ||
{{Featured}} | {{Featured}} | ||
{{Import | {{Import |
Revision as of 10:05, 31 March 2020
GNOME Shell Extensions
https://extensions.gnome.org/
Extensions to extend functionality of GNOME Shell
GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell.
Most extensions can be installed by configuring --prefix=$HOME/.local, and will be picked automatically at next login.
Download
https://download.gnome.org/sources/gnome-shell-extensions/3.37/gnome-shell-extensions-3.37.3.tar.xz
Categories
Licensing
License
Verified by
Verified on
Notes
License
Verified by
Genium
Verified on
23 March 2016
Notes
https://git.gnome.org/browse/gnome-shell-extensions/tree/COPYING Individual extensions may be licensed under different terms, see each source file for details.
Leaders and contributors
Contact(s) | Role |
---|---|
2011 Giovanni Campagna | contact |
Resources and communication
Audience | Resource type | URI |
---|---|---|
Developer | Download | https://download.gnome.org/sources/gnome-shell-extensions/ |
Wikidata | General | https://www.wikidata.org/wiki/Q89104087 |
Debian (Ref) | https://tracker.debian.org/pkg/gnome-shell-extensions | |
Developer | Bug Tracking | https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/ |
Developer | VCS Repository Webview | https://git.gnome.org/browse/gnome-shell-extensions |
Wiki | Homepage | https://wiki.gnome.org/Projects/GnomeShell/Extensions |
Debian | Download | http://ftp.debian.org/debian/pool/main/g/gnome-shell-extensions/ |
Software prerequisites
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.
The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.