On Mon, Jan 17, 2011 at 02:21:38PM -0700, Kevin Fenzi wrote: > This is gnome-terminal you are talking about? Or Xfce Terminal? gnome-terminal. -- Matthew Miller <mattdm at mattdm.org> Senior Systems Architect -- Instructional & Research Computing Services Harvard School of Engineering & Applied Sciences