Re: Gnome terminal, switching profile w/o menu?
From: David Clymer (david_at_zettazebra.com)
Date: 02/09/04
- Previous message: Michael Kahle: "RE: trouble installing Woody w/ raid card"
- In reply to: Magnus Therning: "Gnome terminal, switching profile w/o menu?"
- Next in thread: Magnus Therning: "Re: Gnome terminal, switching profile w/o menu?"
- Reply: Magnus Therning: "Re: Gnome terminal, switching profile w/o menu?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
To: Debian-User <debian-user@lists.debian.org> Date: Mon, 09 Feb 2004 13:28:04 -0500
On Mon, 2004-02-09 at 06:57, Magnus Therning wrote:
> I realize this is slightly off topic here, but it seems a lot of REALLY
> knowledgable people inhabit this list :-)
>
Flattery will get you nowhere. Besides, I know you're not talking about
me ;o)
> 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.
>
> I could imagine it being done via an escape sequence, or a call to an
> executable, e.g. gnome-terminal, that takes the profile name as an
> argument. Just as long as I don't need to use the mouse :-)
>
Is there any particular reason you dont want to use the menus? In gnome
2.4 (I dont know what version you are using), I can easily switch
profiles from within gnome-terminal _using_ the menus but without a
mouse (Alt-T P, arrow keys).
-davidc
-- To UNSUBSCRIBE, email to debian-user-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
- Previous message: Michael Kahle: "RE: trouble installing Woody w/ raid card"
- In reply to: Magnus Therning: "Gnome terminal, switching profile w/o menu?"
- Next in thread: Magnus Therning: "Re: Gnome terminal, switching profile w/o menu?"
- Reply: Magnus Therning: "Re: Gnome terminal, switching profile w/o menu?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|