On Mon, 2004-02-09 at 06:57, Magnus Therning wrote: > Is there a way of switching the profile of a running gnome-terminal, > without using the menu? I am mostly interested of doing it from inside > the terminal itself. The immediately obvious answer is "ALT+t p". Also see "gnome-terminal --help" -- Mark Roach