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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
