Re: Restarting gnome-shell

[俞颐超 <yyc1992 gmail com>]

On Fri, Jul 15, 2011 at 8:04 AM, Nguyen Thai Ngoc Duy <pclouds gmail com> wrote:
> On Fri, Jul 15, 2011 at 5:09 PM, Jaimon Jose <jjaimon yahoo com> wrote:
>> 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...

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.
another good thing of this way is that (if you want to develop a
extension for example) you can easily see the command line output
which is helpful.

>
> It'd be great if gnome-session and gnome-shell support some sort of
> low rate heart beating. If gnome-shell becomes silent for a while to
> gnome-session, it will be killed and respawned.
> --
> Duy
> _______________________________________________
> gnome-shell-list mailing list
> gnome-shell-list gnome org
> http://mail.gnome.org/mailman/listinfo/gnome-shell-list
>