path: root/debugging.txt
diff options
authorMarco Barisione <>2012-07-31 12:10:30 (GMT)
committerMarco Barisione <>2012-07-31 12:10:30 (GMT)
commit2270ce8dc7986f4cd67ed6a1a49870463295f70a (patch)
tree6fab7bd265d30b7e808f9fd380c327b782c8d351 /debugging.txt
parentf8c6e2d1e330feb8cc12ad614684ac3af59ef15a (diff)
Improve debugging instructions and add my email addressHEADmaster
Diffstat (limited to 'debugging.txt')
1 files changed, 4 insertions, 4 deletions
diff --git a/debugging.txt b/debugging.txt
index c0ed349..8a6c3e4 100644
--- a/debugging.txt
+++ b/debugging.txt
@@ -7,9 +7,9 @@ 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:
+and restart the shell with:
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.
+Now send "gnome-shell.log" to after checking it doesn't
+contain any personal information, like the content of some private chat