diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/extract-geom | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/scripts/extract-geom b/scripts/extract-geom new file mode 100755 index 00000000..13f7ac2e --- /dev/null +++ b/scripts/extract-geom @@ -0,0 +1,13 @@ +#!/usr/bin/env python + +import sys + +with open(sys.argv[1]) as f: + s = "" + while "Begin geometry file" not in s: + s = f.readline() + s = f.readline() + while "End geometry file" not in s: + print(s), + s = f.readline() + |