oleid/gnome-shell-teatime

port for gnome 42

Opened this issue · 4 comments

ulph0 commented

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.

zeners commented

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

  • ❤️1
ulph0 commented

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

zeners commented

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

ulph0 commented

@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.