Re: Restarting gnome-shell
- From: Jaimon Jose <jjaimon yahoo com>
- To: 俞颐超 <yyc1992 gmail com>
- Cc: gnome-shell-list gnome org
- Subject: Re: Restarting gnome-shell
- Date: Tue, 19 Jul 2011 00:00:55 +0530
俞颐超 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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
