Re: Restarting gnome-shell

2011-07-18 Thread Jaimon Jose
俞颐超 wrote, On 07/15/2011 08:14 PM: my trick is $while [ -f a ] ;do sleep 10; gnome-shell --replace ;done; where a is a existing file which I will delete when gnome-shell indeed crash. Thanks.. This helps... --jaimon ___ gnome-shell-list mailing

Re: Restarting gnome-shell

2011-07-15 Thread Jaimon Jose
Adam Williamson wrote, On 07/15/2011 11:34 AM: Just kill the gnome-shell process: 'killall gnome-shell' is an easy way. It will auto-respawn. I tried that. It doesn't respawn when the process itself is not responding... --jaimon ___ gnome-shell-list

Restarting gnome-shell

2011-07-14 Thread Jaimon Jose
Is there a way I can restart or send a signal to restart gnome-shell from a terminal?. I noticed that my gnome-shell freezes or crashes at times (tried to debug a little bit attaching gdb to gnome-shell. But, that didn't reveal much) and I don't have a way to restart gome-shell without restarting