X-Git-Url: https://defaria.com/gitweb/?a=blobdiff_plain;f=bin%2Fgp;h=4f6dce9f61ba77e041a30f75e62d4609deaabec3;hb=e263e9f8a46dce14f494f4c2dcce9fb4335c4208;hp=38e940e5f92b179eeba19c5ffd626c5db46f47e6;hpb=560c091996e7e2f3c2d1babb51c0e84f3afb95a6;p=clearscm.git diff --git a/bin/gp b/bin/gp index 38e940e..4f6dce9 100755 --- a/bin/gp +++ b/bin/gp @@ -1,4 +1,8 @@ #!/bin/bash # # Simple script to restart gnome-panel since it keeps dying on me. -gnome-panel --replace > /dev/null 2>&1 & +logfile=/var/local/log/gnome-panel.log +while true; do + gnome-panel --replace >> $logfile 2>&1 + echo "$(date) Restarting gnome-panel" >> $logfile +done