[patch] Save the history by default

[Tom Tromey]

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

Jan> 2009-09-08  Jan Kratochvil  <jan.kratochvil@redhat.com>
Jan> 	Save the command history by default and use a file in $HOME.

This idea is fine by me.

I wouldn't mind changing other defaults too.
We've discussed changing "set print object" a couple of times...

I did not research this, but please make sure that this patch doesn't
result in gdb saving history:

1. When in MI mode
2. When running the test suite

Other than those possibilities, this seems fine.

I think for changes to defaults it makes sense to wait a little while to
let other maintainers speak up in case they have an objection.  So
please wait a little while before going ahead.

thanks,
Tom