| Index: tools/refactoring/trim.py
|
| diff --git a/tools/refactoring/trim.py b/tools/refactoring/trim.py
|
| deleted file mode 100644
|
| index 5539f5fef7f76ef51463c35ebce17d5d2239e5d2..0000000000000000000000000000000000000000
|
| --- a/tools/refactoring/trim.py
|
| +++ /dev/null
|
| @@ -1,29 +0,0 @@
|
| -#!/usr/bin/env python
|
| -
|
| -import sys
|
| -import fileinput
|
| -
|
| -# Defaults
|
| -TABSIZE = 4
|
| -
|
| -usage = """
|
| -Replaces all TAB characters with %(TABSIZE)d space characters.
|
| -In addition, all trailing space characters are removed.
|
| -usage: trim file ...
|
| -file ... : files are changed in place without taking any backup.
|
| -""" % vars()
|
| -
|
| -def main():
|
| -
|
| - if len(sys.argv) == 1:
|
| - sys.stderr.write(usage)
|
| - sys.exit(2)
|
| -
|
| - # Iterate over the lines of all files listed in sys.argv[1:]
|
| - for line in fileinput.input(sys.argv[1:], inplace=True):
|
| - line = line.replace('\t',' '*TABSIZE); # replace TABs
|
| - line = line.rstrip(None) # remove trailing whitespaces
|
| - print line # modify the file
|
| -
|
| -if __name__ == '__main__':
|
| - main()
|
|
|