After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 704388 - Improve gnome-shell logging for extensions and JS
Improve gnome-shell logging for extensions and JS
Status: RESOLVED OBSOLETE
Product: gnome-shell
Classification: Core
Component: st
unspecified
Other Linux
: Normal enhancement
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2013-07-17 11:40 UTC by Christian Stadelmann
Modified: 2021-07-05 14:04 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Christian Stadelmann 2013-07-17 11:40:53 UTC 
It is almost impossible to hunt down bugs in gnome shell. To help developers, maintainers and users it would be useful to improve logging. This would e.g. help tracking down bugs like https://bugzilla.redhat.com/show_bug.cgi?id=957363 (very nasty one).

I suggest doing this:
1. always print the gnome-shell-extension triggering this bug (if applicable)
2. add an option to gnome-shell to print JS stack traces to log file on errors (or do this as default though I discourage to do so to prevent denial of service).
Comment 1 GNOME Infrastructure Team 2021-07-05 14:04:33 UTC 
GNOME is going to shut down bugzilla.gnome.org in favor of  gitlab.gnome.org.
As part of that, we are mass-closing older open tickets in bugzilla.gnome.org
which have not seen updates for a longer time (resources are unfortunately
quite limited so not every ticket can get handled).

If you can still reproduce the situation described in this ticket in a recent
and supported software version, then please follow
  https://wiki.gnome.org/GettingInTouch/BugReportingGuidelines
and create a new ticket at
  https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/

Thank you for your understanding and your help.