Wiki source code of Gnome-Shell Extensions

Version 1.1 by 5fbc055b7cc103006957e1ae on 2012-06-14 11.34:23

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
	21

Applications