Re: genautomata progress bars tweak

[Andreas Jaeger <aj at suse dot de>]

Vladimir Makarov <vmakarov@redhat.com> writes:

> Andreas Jaeger wrote:
>> 
>> law@redhat.com writes:
>> 
>> > In message <4446A179-4510-11D8-859B-000A95A4DC02@kernel.crashing.org>, Segher B
>> > oessenkool writes:
>> >  >> genautomata prints progress bars using asterisks, which interferes
>> >  >> with searching a make log for '***' to find failures, especially in a
>> >  >> highly parallel build.  This makes it use dots instead.
>> >  >
>> >  >Can't we just get rid of those progress bars altogether please?  They
>> >  >mess up parallel make output, and there only are progress bars for the
>> >  >relatively fast parts of genautomata anyway...
>> > I wouldn't lose any sleep if the progress bars went away...
>> 
>> Just the process bars - or all the information that is printed?  I'll
>> do a first patch to remove the process bars completly now...
>
>   It is important to see how many states are generated when somebody
> develops a DFA description.  Because, a small change may result in
> generation of a huge automata.  If the bar is really annoying thing, I
> see other solutions instead of just removing the bar:
>
>   o add a new automata-option to switch off the bar.  This option can be
> added when the description has been fully debugged.
>   o add a new construction to constrain the automata size.  The
> generator will stop work with a message when it achieves the constraint.
>
>   I'd prefer the first solution.  If nobody objects I could make a patch
> for this and add the option to .md files which use DFA descriptions.

I think the point is to have this option off by default - and if you
develop it, you can enable it yourself.  So, I would do:
 o add an option to enable all output.  By default no output is
   printed.

Andreas
-- 
 Andreas Jaeger, aj@suse.de, http://www.suse.de/~aj
  SuSE Linux AG, Maxfeldstr. 5, 90409 Nürnberg, Germany
   GPG fingerprint = 93A3 365E CE47 B889 DF7F  FED1 389A 563C C272 A126

Attachment: pgp00000.pgp
Description: PGP signature