scripts: improve strip-whitespace.py

scripts: improve strip-whitespace.py

previous version barfed when it was called on a directory
(which could happen for example when called with a wildcard).
Also, add comment.

[Julien Rioux, 2013-09-27 12:04:04]

LGTM. You might want to add to your comment at the top: "Also convert the file
to Unix line endings."

[dak, 2013-10-02 11:38:19]

https://codereview.appspot.com/13720049/diff/1/scripts/auxiliar/strip-whitesp...
File scripts/auxiliar/strip-whitespace.py (right):

https://codereview.appspot.com/13720049/diff/1/scripts/auxiliar/strip-whitesp...
scripts/auxiliar/strip-whitespace.py:15: print 'Stripping trailing whitespace
from', pathname
Please don't gratuitously generate output, least of all to standard output.

[janek, 2013-10-15 21:16:51]

2013/9/27  <julien.rioux@gmail.com>:
> LGTM. You might want to add to your comment at the top: "Also convert
> the file to Unix line endings."

Added.

[janek, 2013-10-15 21:18:22]

2013/10/2  <dak@gnu.org>:
>
>
https://codereview.appspot.com/13720049/diff/1/scripts/auxiliar/strip-whitesp...
> File scripts/auxiliar/strip-whitespace.py (right):
>
>
https://codereview.appspot.com/13720049/diff/1/scripts/auxiliar/strip-whitesp...
> scripts/auxiliar/strip-whitespace.py:15: print 'Stripping trailing
> whitespace from', pathname
> Please don't gratuitously generate output, least of all to standard
> output.

done.

[janek, 2013-10-15 21:18:43]

pushed as ca6e130e62a717b99db393f7262c9b34cb3d127d, closed