diff options
Diffstat (limited to 'Tools/scripts/fixps.py')
-rwxr-xr-x | Tools/scripts/fixps.py | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/Tools/scripts/fixps.py b/Tools/scripts/fixps.py index 665c1a2..1e6e114 100755 --- a/Tools/scripts/fixps.py +++ b/Tools/scripts/fixps.py @@ -8,26 +8,26 @@ import re def main(): - for file in sys.argv[1:]: - try: - f = open(file, 'r') - except IOError, msg: - print file, ': can\'t open :', msg - continue - line = f.readline() - if not re.match('^#! */usr/local/bin/python', line): - print file, ': not a /usr/local/bin/python script' - f.close() - continue - rest = f.read() - f.close() - line = re.sub('/usr/local/bin/python', - '/usr/bin/env python', line) - print file, ':', `line` - f = open(file, "w") - f.write(line) - f.write(rest) - f.close() + for file in sys.argv[1:]: + try: + f = open(file, 'r') + except IOError, msg: + print file, ': can\'t open :', msg + continue + line = f.readline() + if not re.match('^#! */usr/local/bin/python', line): + print file, ': not a /usr/local/bin/python script' + f.close() + continue + rest = f.read() + f.close() + line = re.sub('/usr/local/bin/python', + '/usr/bin/env python', line) + print file, ':', `line` + f = open(file, "w") + f.write(line) + f.write(rest) + f.close() main() |