path: root/debugging.txt
diff options
authorMarco Barisione <>2012-07-31 08:50:42 (GMT)
committerMarco Barisione <>2012-07-31 08:50:42 (GMT)
commit473cac14957b5562894dcf920e3a07967b492792 (patch)
tree50a57ded885eda916fa1da73271c0816f4a525ba /debugging.txt
parentcb91f264df5b6a372396c005ac01abfeda8708c5 (diff)
Move the debugging instructions from the README to debugging.txt
Diffstat (limited to 'debugging.txt')
1 files changed, 15 insertions, 0 deletions
diff --git a/debugging.txt b/debugging.txt
new file mode 100644
index 0000000..c0ed349
--- /dev/null
+++ b/debugging.txt
@@ -0,0 +1,15 @@
+If you have any problem with the extension, you can help me debugging it by
+providing some logs.
+In a terminal type (as normal user):
+ MESSAGE_NOTIFIER_DEBUG=1 gnome-shell --replace > gnome-shell.log 2>&1
+When shell restarted press ALT+F2, type "r" and press "Return" (this should
+not be needed, but it seems to be necessary in the version I have installed).
+Now try to reproduce the bug, when you are done open another terminal window
+and type:
+ gnome-shell --replace &
+This command will restart the shell as normal. Now send me "gnome-shell.log"
+after checking it doesn't contain any personal information, like the content
+of some private chat messages.