Rename to org-rw.
This commit is contained in:
parent
83710a4fc1
commit
bb24f9495e
10 changed files with 30 additions and 30 deletions
|
@ -9,4 +9,4 @@ cd "`dirname $0`"
|
|||
git submodule update --init --recursive .
|
||||
|
||||
# Run all checks
|
||||
python3 org_dom_check.py .
|
||||
python3 org_rw_check.py .
|
||||
|
|
|
@ -3,7 +3,7 @@
|
|||
import os
|
||||
import sys
|
||||
|
||||
import org_dom
|
||||
import org_rw
|
||||
|
||||
top = sys.argv[1]
|
||||
count = 0
|
||||
|
@ -16,7 +16,7 @@ for root, dirs, files in os.walk(top):
|
|||
path = os.path.join(root, name)
|
||||
count += 1
|
||||
try:
|
||||
org_dom.load(open(path), extra_cautious=True)
|
||||
org_rw.load(open(path), extra_cautious=True)
|
||||
except Exception as err:
|
||||
import traceback
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue