Hello I moved gnome-shell to /usr/local/bin and use this script instead:
#!/bin/sh gdb -ex 'break main' -ex 'r' -ex 'call XInitThreads()' -ex 'c' -ex 'bt full' -ex 'quit' --args /usr/local/bin/gnome-shell.distrib "$@" HTH Michal -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
