@@ 1,6 1,6 @@
#! /usr/bin/python3
# xgrep.py -- search for elements in XML files, using XPath 1.0 expressions
-# Andreas Nolda 2019-10-07
+# Andreas Nolda 2020-01-14
import sys
import argparse
@@ 8,7 8,7 @@ import re
from blessings import Terminal
from lxml import etree
-version=2.5
+version=2.6
parser = argparse.ArgumentParser()
parser.add_argument("expr",
@@ 134,6 134,8 @@ def main():
else:
print_matches(matches, file)
n += len(matches)
+ except KeyboardInterrupt:
+ sys.exit(130)
except IOError:
if not args.quiet:
print(term.bold_red(file) + ": No such file", file=sys.stderr)