Wiki source code of Gnome-Shell Extensions
Last modified by 5fbc055b7cc103006957e1ae on 2012-06-14 11.43:06
Hide last authors
| author | version | line-number | content |
|---|---|---|---|
 |
1.1 | 1 | === {{id name="Gnome-ShellExtensions-ViaDebianPackages"/}}Via Debian Packages === |
| 2 | |||
| 3 | Installing the Shell-extension package from the debian repository. This installs some Gnome Extentions which are sanctioned by Debian | ||
| 4 | |||
| 5 | {{code language="none"}} | ||
| 6 | apt-get install gnome-shell-extensions | ||
| 7 | {{/code}} | ||
| 8 | |||
| 9 | Activate shell extensions using the Gnome Tweak Tool, which is available in the Applications menu as "Advanced Settings". If you don't have it installed, you can do so with | ||
| 10 | |||
| 11 | {{code language="none"}} | ||
| 12 | apt-get install gnome-tweak-tool | ||
| 13 | {{/code}} | ||
| 14 | |||
| 15 | === {{id name="Gnome-ShellExtensions-ManuallyfromtheGnomeProjectWebsite:"/}}Manually from the Gnome Project Website: === | ||
| 16 | |||
| 17 | You may browse extensions at [[https:~~/~~/extensions.gnome.org/>>url:https://extensions.gnome.org/||shape="rect"]]. On the extension's description page there is a button which installs the extension automagically: | ||
| 18 | |||
| 19 | [[image:attach:Install-Gnome-Extension.png]] | ||
| 20 | |||
| |
2.1 | 21 | === {{id name="Gnome-ShellExtensions-TippsandTricks:"/}}Tipps and Tricks: === |
| 22 | |||
| 23 | Settings for individual extensions can be changed using the Gnome Shell Extension Preferences: | ||
| 24 | |||
| 25 | {{code language="none"}} | ||
| 26 | gnome-shell-extension-prefs | ||
| 27 | {{/code}} |