I needed a very simple Egg Timer for Gnome. The existing timer extensions did not work on Gnome 3.36.x so i had to write my own.
Tested on Ubuntu 20.04!
Does not work on Ubuntu 18.04 / Gnome 3.28.2! I'd be happy about a pull request fixing that
- Icons made by Freepik http://www.freepik.com/ from Flaticon https://www.flaticon.com/
- Sound from Mobtimer https://github.com/zoeesilcock/mobtimer-react/blob/master/public/audio/music_box.wav
You can install it in two clicks from this page https://extensions.gnome.org/extension/3423/egg-timer/.
git clone [email protected]:gregorriegler/gnome-shell-extension-egg-timer.git
cd gnome-shell-extension-egg-timer
npm install
# Install Tested on Ubuntu 20.04
Just download the latest [email protected] from the release page
and extract it to ~/.local/share/gnome-shell/extensions
npm run start
# once
npm test
# watch
npm run test:watch
# watch min
npm run test:watch:min
journalctl -f -o cat /usr/bin/gnome-shell | grep 'egg-timer' -A7