Improvements for scripts

[Peter Kovacs]

See the attached patch.

[Peter Kovacs]

If unify-sources.sh is used as a hg hook (I always use it for my LEMON commits) it is sometimes important to be able to accept "errors", too, not only warnings. E.g. when the file you modify already contains "errors" (e.g. trailing spaces) and you do not want to make white-space changes.

[Alpar Juttner]

Replying to kpeter:

If unify-sources.sh is used as a hg hook (I always use it for my LEMON commits) it is sometimes important to be able to accept "errors", too, not only warnings. E.g. when the file you modify already contains "errors" (e.g. trailing spaces) and you do not want to make white-space changes.

And what about the other changes (in the migrate script)? Do we really want to change _graph to _digraph at all? This name is typically used for private variables. As far as I'm concerned, I prefer to use g or graph (and not d or digraph) for denoting the directed graphs, too.

[Peter Kovacs]

Replying to alpar:

And what about the other changes (in the migrate script)? Do we really want to change _graph to _digraph at all? This name is typically used for private variables.

Yes. As a whole word _graph is usually used for private variables. _Graph is sometimes used as template parameter.

As far as I'm concerned, I prefer to use g or graph (and not d or digraph) for denoting the directed graphs, too.

Then of course these changes shouldn't be applied. Consider to use [c5f010a5647a] instead.

[Alpar Juttner]

Replying to kpeter:

Then of course these changes shouldn't be applied. Consider to use [c5f010a5647a] instead.

It is now in the main.