Re: crashes with octave3.2 when $HOME/.octave_hist is not writable

[Thomas Weber]

On Mon, Oct 26, 2009 at 12:03:52AM -0400, John W. Eaton wrote:
> On 26-Oct-2009, Soeren Sonnenburg wrote:
> 
> | On Sun, 2009-10-25 at 18:32 -0400, John W. Eaton wrote:
> | > On 25-Oct-2009, Soeren Sonnenburg wrote:
> | > 
> | > | To reproduce do e.g:
> | > | 
> | > | $ export HOME=/
> | > | $ echo version | octave
> | [...]
> | > You are getting this message when Octave tries to write the history
> | > file and it fails because of permission problems.  I already fixed the
> | > problem the development sources.  Now I see this:
> | 
> | Thanks for fixing the problem.
> | 
> | >   $ HOME=/ /usr/local/octave/devel/bin/octave
> | >   GNU Octave, version 3.3.50+
> | >   Copyright (C) 2009 John W. Eaton and others.
> | >   This is free software; see the source code for copying conditions.
> | >   There is ABSOLUTELY NO WARRANTY; not even for MERCHANTABILITY or
> | >   FITNESS FOR A PARTICULAR PURPOSE.  For details, type `warranty'.
> | > 
> | >   Octave was configured for "x86_64-unknown-linux-gnu".
> | > 
> | >   Additional information about Octave is available at 
> http://www.octave.org.
> | > 
> | >   Please contribute if you find this software useful.
> | >   For more information, visit http://www.octave.org/help-wanted.html
> | > 
> | >   Report bugs to <address@hidden> (but first, please read
> | >   http://www.octave.org/bugs.html to learn how to write a helpful report).
> | > 
> | >   For information about changes from previous versions, type `news'.
> | > 
> | >   octave:1> quit
> | > 
> | >   error: Permission denied
> | >   error: ignoring octave_execution_exception while preparing to exit
> | 
> | Will octave3.2 return 0 back to the shell (as did 3.0?)
> | 
> | $ ( ( echo version | octave3.0 >/dev/null) ; echo $? ) 
> | error: Permission denied
> | 0
> 
> Yes.

Thanks for taking care. Do you by any chance remember the changeset or
which file to look at? I glanced over the last 100 Mercurial changeset,
but saw nothing obvious.

        Thomas