`.history` file

[Willem Van Onsem]

idp always creates a .history file in the directory where it runs.

I don't know if this is desired behavior since it is possible that other programs/users store information in a .history file themselves.

It is more advisable to store such data in a folder ~/.idp3/.history.

Is there a way to turn this option off?

[Broes De Cat]

It cannot be turned off at the moment.

Proposed fix: rename to .idp_history (storing it a proper local directory is more difficult to do portably).

[Ingmar Dasseville]

resolved by pull request #250