bin/gp

   1 #!/bin/bash
   2 #
   3 # Simple script to restart gnome-panel since it keeps dying on me.
   4 logfile=/var/local/log/gnome-panel.log
   5 while true; do
   6   gnome-panel --replace >> $logfile 2>&1
   7   echo "$(date) Restarting gnome-panel" >> $logfile
   8 done