Comment 11 for bug 1672297

Daniel van Vugt (vanvugt) wrote :

It's often easier to replace the binary itself with a debug script. For example:

  mv /usr/bin/gnome-shell /usr/bin/gnome-shell.bin

Now create a new 'gnome-shell' file that's a script which launches gnome-shell.bin under a profiler/debugger, like:

  #!/bin/sh
  exec MYPROFILER $0.bin $*

and remember to:

  chmod 755 /usr/bin/gnome-shell