Hi,forgot to mention, the issue is known to Gnome and seems to have been already fixed:
https://gitlab.gnome.org/GNOME/gnome-shell/issues/1457 Best, Joerg
- Bug#941782: gnome-shell files on start: "JS ERR... Joerg Maier
- Bug#941782: Same as gnome-shell issue 1457 Joerg Maier
- Bug#941782: Excerpt from syslog Joerg Maier
- Bug#941782: Excerpt from syslog Jeremy Bicha
- Bug#941782: Could you suggest a detailed rescue... Emmanuel Charpentier
- Bug#941782: gir1.2-gnomedesktop-3.0 3.34.0-2 br... Mike Miller
- Bug#941782: Rescue plan emanuel . charpentier
- Bug#941782: Danny Fritz
