annotate Tools/scripts/fixps.py @ 7464:021237ba5007 legacy-trunk

Make this work better with a4 paper. Make the table of contents "hot" for PDF output. No additional packages are needed. Move code for \b@code, \e@code into the macros for the verbatim environment directly since they're not used elsewhere. Derive the name of the modules .idx from the jobname. Some clean ups.
author Fred Drake <fdrake@acm.org>
date Wed, 25 Feb 1998 15:29:43 +0000
parents e708f568b8b7
children 8d2a8a49d983
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4569
e708f568b8b7 Changed so that it replaces /usr/local/bin/python with /usr/bin/env python.
Guido van Rossum <guido@python.org>
parents: 1106
diff changeset
1 #! /usr/bin/env python
1104
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
2
4569
e708f568b8b7 Changed so that it replaces /usr/local/bin/python with /usr/bin/env python.
Guido van Rossum <guido@python.org>
parents: 1106
diff changeset
3 # Fix Python script(s) to reference the interpreter via /usr/bin/env python.
1104
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
4
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
5 import sys
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
6 import regex
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
7 import regsub
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
8
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
9
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
10 def main():
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
11 for file in sys.argv[1:]:
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
12 try:
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
13 f = open(file, 'r+')
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
14 except IOError:
1106
8ea546047f01 Fix bug when reporting error
Guido van Rossum <guido@python.org>
parents: 1104
diff changeset
15 print file, ': can\'t open for update'
1104
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
16 continue
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
17 line = f.readline()
4569
e708f568b8b7 Changed so that it replaces /usr/local/bin/python with /usr/bin/env python.
Guido van Rossum <guido@python.org>
parents: 1106
diff changeset
18 if regex.match('^#! */usr/local/bin/python', line) < 0:
e708f568b8b7 Changed so that it replaces /usr/local/bin/python with /usr/bin/env python.
Guido van Rossum <guido@python.org>
parents: 1106
diff changeset
19 print file, ': not a /usr/local/bin/python script'
1104
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
20 f.close()
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
21 continue
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
22 rest = f.read()
4569
e708f568b8b7 Changed so that it replaces /usr/local/bin/python with /usr/bin/env python.
Guido van Rossum <guido@python.org>
parents: 1106
diff changeset
23 line = regsub.sub('/usr/local/bin/python',
e708f568b8b7 Changed so that it replaces /usr/local/bin/python with /usr/bin/env python.
Guido van Rossum <guido@python.org>
parents: 1106
diff changeset
24 '/usr/bin/env python', line)
1104
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
25 print file, ':', `line`
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
26 f.seek(0)
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
27 f.write(line)
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
28 f.write(rest)
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
29 f.close()
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
30
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
31
4154e98d1478 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
32 main()