NoRedInk/noredink-ui
1
1
Fork 0
mirror of https://github.com/NoRedInk/noredink-ui.git synced 2024-12-25 06:33:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

make sure to load the right elm.json

Browse Source
This commit is contained in:
Brian Hicks 2020-11-22 05:54:59 -06:00
parent c036c93860
commit 67203f8bce
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
script/forbid-deprecated-imports.py
View File

@ -1,9 +1,12 @@
#!/usr/bin/env python
import json
import os.path as path
import re
import subprocess
with open('elm.json', 'r') as fh:
HERE = path.realpath(path.abspath(path.join(path.dirname(__file__), '..')))
with open(path.join(HERE, 'elm.json'), 'r') as fh:
modules = json.load(fh)["exposed-modules"]
widgets = {}