New tool: reverse grep (greps from the end). Uses a fairly efficient
strategy to read from the end of the file.
Showing
Tools/scripts/rgrep.py
0 → 100755
Please register or sign in to comment
strategy to read from the end of the file.