2013-10-31 09:36:15 +00:00
|
|
|
To install the extension, first run
|
2013-05-21 05:56:25 +00:00
|
|
|
|
2013-10-31 09:36:15 +00:00
|
|
|
./autogen.sh
|
2013-05-21 05:56:25 +00:00
|
|
|
|
2013-10-31 09:36:15 +00:00
|
|
|
If everything worked well, do:
|
2013-05-21 05:56:25 +00:00
|
|
|
|
2013-10-31 09:37:40 +00:00
|
|
|
./configure --prefix=/usr &&
|
2013-10-31 09:36:15 +00:00
|
|
|
make
|
|
|
|
|
|
2013-10-31 11:10:16 +00:00
|
|
|
To install the extension to your home directory, run
|
|
|
|
|
|
|
|
|
|
make local-install
|
|
|
|
|
|
|
|
|
|
Or to install it for all users you need administrator rights. Thus you've to use something like sudo or become root via su. Using sudo, simply run:
|
2013-10-31 09:36:15 +00:00
|
|
|
|
|
|
|
|
sudo make install
|
|
|
|
|
|
|
|
|
|
Restart gnome-shell after that (using Alt+F2, enter "r" -- without quotes).
|
|
|
|
|
|
|
|
|
|
If you wish to translate TeaTime to your language, have a look at the directory "po".
|
|
|
|
|
|
|
|
|
|
A handy zip file can be created using:
|
|
|
|
|
|
|
|
|
|
make zip -- This is the same you get via http://extensions.gnome.org
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Thanks to Thomas Liebetraut for the new build system.
|
|
|
|
|
Get the latest version from: https://github.com/tommie-lie/gnome-shell-extensions-template
|
