Re: removing white space highlight

[Emanuel Berg <embe8573@student.uu.se>]

Robert Thorpe <rt@robertthorpeconsulting.com> writes:

> But, what if Harry just deleted some extraneous
> whitespace from the end of the line? In that case we
> can't be sure when important_parameter was last set.
> It may be very old.

You can do it to the entire project once (and do
nothing else at that point). Then add automatic
cleaning upon submission, don't log the cleaning, and
last propagate the correct files to anyone who doesn't
have them.

> Not all version controls systems have that.

Apparently not :)

But I do (phew)

> It's also not very well known and tools that use the
> VC system (GUIs and Editors) may not use it.

The editors don't need it, tho it can be useful for
other purposes (e.g., your own files) and it doesn't
hurt having it there as well.

The automatization doesn't fare ill from you having it
in your editor as well, as then it doesn't have to
execute (nothing to do).

Obviously the VC needs it because that is were the
automatization should kick in.

-- 
underground experts united
http://user.it.uu.se/~embe8573