Re: [Anjuta-devel] Re: [Anjuta-list] gnome-terminal alternatives

[Naba Kumar <kh_naba yahoo com>]

On 28 Sep 2001 10:54:39 +0100, Andy Piper wrote:
> On 2001.09.28 02:16 adam wrote:
> > I have been unable to find a way to use another term in the
> > anjuta preferences. i know i could just do ln -s
> > /usr/local/bin/gnome-terminal /usr/bin/aterm (along those
> > lines), but i would rather just put it in the preferences, and
> > i even could change the source code but that is just crazy. 
> 
> Agreed that it would be unfortunate to have to change the source
> to achieve this change.
> 
> I've had a VERY brief look at the problem - I'm in the middle of
> moving house, so I don't have much time this week - and it
> appears that there is a property command.terminal in the file
> internal.properties which could be altered to point at aterm. The
> file is usually installed somewhere like
> /usr/share/anjuta/internal.properties. At the moment, there
> doesn't seem to be a way to modify this setting in the
> Preferences or Commands dialogs.
> 

Yes, that can be modified in the property file. But make sure the
terminal is gnome-terminal compatible.

> Incidentally, it also appears that this property appears twice in
> the file, with a different command each time. I suspect this is
> not necessary, so we ought to look into that. Copied to
> anjuta-devel for attention - it's a one-line change :-)
> 

I will look into it.
--

Regards,
-Naba

-------------------------------------------------------------
I've never been drunk, but often I've been overserved.
		-- George Gobel
-------------------------------------------------------------



_________________________________________________________
Do You Yahoo!?
Get your free @yahoo.com address at http://mail.yahoo.com