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