gnome-shell-teatime icon indicating copy to clipboard operation
gnome-shell-teatime copied to clipboard
verified publisher icon oleid

port for gnome 42

Open ulph0 opened this issue 3 years ago • 4 comments

hi i just installed ubuntu 22.04 and am missing teatime, its marked as outdated in the gnome extension. could you please port it? regards.

ulph0 avatar Aug 29 '22 13:08 ulph0

it works with gnome 42 without any problems, so i added versions 41 and 42 to the shell compatibility list.

zeners avatar Aug 31 '22 05:08 zeners

hi, what does that mean? which list? is it still can't find it on https://extensions.gnome.org/ as update - shell. also i can't enable it manually installed with gnome-shell-extension-prefs. running gnome 42.4

ulph0 avatar Sep 25 '22 20:09 ulph0

the update on extensions.gnome.org is to be done by @oleid

you will find a file called metadata.json and add 42 like i did here

zeners avatar Sep 26 '22 04:09 zeners

@oleid: could you PLEASE update on extensions.gnome.org ?! really would like to have back teatimer on the usual distruibution channel, also foor the people i recommended it to.

ulph0 avatar Feb 26 '23 17:02 ulph0