On Thu, Jan 23, 2003 at 12:27:32PM +0100, Dario Lesca wrote:
> Ok, the --geometry=80x40 set the number of line to 40.
> Thank!
>
> but now, where i can put this options for setting the new
> geometry permanently ?
> Which it is the better place?
>
> I suggest in to setup of current profile ... but not
> now, perhaps in a next release of gnome-terminal ;-)
If you are starting up the terminals from either a menu entry or from a
launcher in the panel, just edit the properties and change the command line
from "gnome-terminal" to "gnome-terminal --geometry=80x40"
The advantage of doing it from the command line is that you can have
launchers to create all sizes of gnome-terminals without having a single
global variable.
- jkt
--
--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*--*
Jay Turner, QA Manager [EMAIL PROTECTED] Red Hat, Inc.
No amount of experimentation can ever prove me right;
a single experiment can prove me wrong. -- Albert Einstein
--
Psyche-list mailing list
[EMAIL PROTECTED]
https://listman.redhat.com/mailman/listinfo/psyche-list