From a73a964e51247ed169d322c725a3a18859f109a3 Mon Sep 17 00:00:00 2001 From: Ori Bernstein Date: Mon, 14 Jun 2021 00:00:37 +0000 Subject: python, hg: tow outside the environment. they've served us well, and can ride off into the sunset. --- sys/src/cmd/python/Tools/scripts/fixps.py | 33 ------------------------------- 1 file changed, 33 deletions(-) delete mode 100755 sys/src/cmd/python/Tools/scripts/fixps.py (limited to 'sys/src/cmd/python/Tools/scripts/fixps.py') diff --git a/sys/src/cmd/python/Tools/scripts/fixps.py b/sys/src/cmd/python/Tools/scripts/fixps.py deleted file mode 100755 index 2ff15f41e..000000000 --- a/sys/src/cmd/python/Tools/scripts/fixps.py +++ /dev/null @@ -1,33 +0,0 @@ -#!/usr/bin/env python - -# Fix Python script(s) to reference the interpreter via /usr/bin/env python. -# Warning: this overwrites the file without making a backup. - -import sys -import re - - -def main(): - for filename in sys.argv[1:]: - try: - f = open(filename, 'r') - except IOError, msg: - print filename, ': can\'t open :', msg - continue - line = f.readline() - if not re.match('^#! */usr/local/bin/python', line): - print filename, ': 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 filename, ':', repr(line) - f = open(filename, "w") - f.write(line) - f.write(rest) - f.close() - -if __name__ == '__main__': - main() -- cgit v1.2.3