Mercurial > cpython-lru_cache-weakref
annotate Tools/scripts/rgrep.py @ 17581:c1937faabb23 2.1
Added support for optional explanation parameter to the \versionadded
macro.
Refactored do_cmd_versionadded() and do_cmd_versionchanged() to do most
of the work in a helper function, with the do_cmd_*() wrappers just supplying
a portion of the replacement text.
| author | Fred Drake <fdrake@acm.org> |
|---|---|
| date | Wed, 18 Apr 2001 17:29:14 +0000 |
| parents | 0398051f8ffa |
| children | 8a7a2f1f88f0 |
| rev | line source |
|---|---|
|
8981
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
1 #! /usr/bin/env python |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
2 |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
3 """Reverse grep. |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
4 |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
5 Usage: rgrep [-i] pattern file |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
6 """ |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
7 |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
8 import sys |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
9 import re |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
10 import string |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
11 import getopt |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
12 |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
13 def main(): |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
14 bufsize = 64*1024 |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
15 reflags = 0 |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
16 opts, args = getopt.getopt(sys.argv[1:], "i") |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
17 for o, a in opts: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
18 if o == '-i': |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
19 reflags = reflags | re.IGNORECASE |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
20 if len(args) < 2: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
21 usage("not enough arguments") |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
22 if len(args) > 2: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
23 usage("exactly one file argument required") |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
24 pattern, filename = args |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
25 try: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
26 prog = re.compile(pattern, reflags) |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
27 except re.error, msg: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
28 usage("error in regular expression: %s" % str(msg)) |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
29 try: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
30 f = open(filename) |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
31 except IOError, msg: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
32 usage("can't open %s: %s" % (repr(filename), str(msg)), 1) |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
33 f.seek(0, 2) |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
34 pos = f.tell() |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
35 leftover = None |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
36 while pos > 0: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
37 size = min(pos, bufsize) |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
38 pos = pos - size |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
39 f.seek(pos) |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
40 buffer = f.read(size) |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
41 lines = string.split(buffer, "\n") |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
42 del buffer |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
43 if leftover is None: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
44 if not lines[-1]: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
45 del lines[-1] |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
46 else: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
47 lines[-1] = lines[-1] + leftover |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
48 if pos > 0: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
49 leftover = lines[0] |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
50 del lines[0] |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
51 else: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
52 leftover = None |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
53 lines.reverse() |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
54 for line in lines: |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
55 if prog.search(line): |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
56 print line |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
57 |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
58 def usage(msg, code=2): |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
59 sys.stdout = sys.stderr |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
60 print msg |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
61 print __doc__ |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
62 sys.exit(code) |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
63 |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
64 if __name__ == '__main__': |
|
0398051f8ffa
New tool: reverse grep (greps from the end). Uses a fairly efficient
Guido van Rossum <guido@python.org>
parents:
diff
changeset
|
65 main() |
