[isabelle-dev] Silent exit if settings file has non-zero exit code

Lars Noschinski noschinl at in.tum.de
Fri Feb 11 17:32:12 CET 2011


Hi everyone,

I just noticed that the main isabelle executable exits silently if the 
last command in a settings file has a non-zero exit code (this might 
happen quite naturally if for example $PATH_OF_COMPONENT does not exist 
in the following construct:

    [ -d "$PATH_OF_COMPONENT" ] && init_component "$PATH_OF_COMPONENT"

). Is this intentional or would a patch outputting an error message be 
acceptable?

   -- Lars


More information about the isabelle-dev mailing list