1234567891011121314 |
- #!@PYTHONEXE@
- import sys
- import re
- for fileName in sys.argv[1:]:
- f = open(fileName, 'r+')
- fileString = f.read()
- fileString = re.sub(r'[ ]+\n', r'\n', fileString)
- fileString = re.sub(r'\r', r'', fileString)
- f.seek(0)
- f.write(fileString)
- f.truncate(len(fileString))
|