#!/bin/bash
#
# Simple script to restart gnome-panel since it keeps dying on me.
gnome-panel --replace > /dev/null 2>&1 &