comp.lang.idl-pvwave archive: archive » Re: history of command prompt

Home » Public Forums » archive » Re: history of command prompt

Show: Today's Messages :: Show Polls :: Message Navigator
E-mail to friend

Re: history of command prompt [message #54633 is a reply to message #54503]

Wed, 20 June 2007 00:36

Ingo von Borstel
Messages: 54
Registered: September 2006

Member

Hi,

> Also, if you are using emacs with idlwave then you can change the size
> of the history by changing the variable 'comint-input-ring-size' - see
> "Idlwave Shell Command History File" in Customize->Idlwave Shell
> Command Setup.

Thanks for your advice. But it's the same as with Mark's one: Seems like
my idlwave / emacs-combination doesn't know that particular
configuration option. Upon your hint (being not very familiar with the
zillions of emacs configuration options), I found the IDLwave group in
the configuration menue and checked every single one within that
category and its subcategories, but without success. There doesn't seem
to be an option relating to the command history :(

I'm starting to think there's something weired, but all is basically the
defaults, both IDL and emacs. :(

Best regards,
Ingo

--
Ingo von Borstel <newsgroups@planetmaker.de>
Public Key: http://www.planetmaker.de/ingo.asc

If you need an urgent reply, replace newsgroups by vgap.

Report message to a moderator

[Message index]

		Re: history of command prompt By: Vince Hradil on Tue, 19 June 2007 07:07
		Re: history of command prompt By: aleks.franca@gmail.co on Tue, 19 June 2007 06:50
		Re: history of command prompt By: Vince Hradil on Tue, 19 June 2007 06:44
		Re: history of command prompt By: Michael Galloy on Tue, 19 June 2007 18:36
		Re: history of command prompt By: Ingo von Borstel on Wed, 20 June 2007 00:45
		Re: history of command prompt By: Ingo von Borstel on Wed, 20 June 2007 00:36

Previous Topic:	Re: How to retrieve information from an event to use it in another event?
Next Topic:	main or procedure

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

] [

]

Current Time: Thu Oct 09 06:51:55 PDT 2025

Total time taken to generate the page: 0.96127 seconds