mirror of
https://github.com/oleid/gnome-shell-teatime.git
synced 2022-04-29 18:53:50 +00:00
po | ||
src | ||
autogen.sh | ||
configure.ac | ||
LICENSE.md | ||
Makefile.am | ||
README.md |
To install the extension, first run
./autogen.sh
If everything worked well, do:
./configure --prefix=/usr make
And as a super user, e.g. using sudo
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