##// END OF EJS Templates
The pretty.py extension has been ported to the new extension API....
The pretty.py extension has been ported to the new extension API. I have also cleaned up the extension API to enable extension unloading and have added magics for working with extensions: * %load_ext * %reload_ext * %unload_ext

File last commit:

r2118:ec9810f7
r2281:21a097ae
Show More
compile.py
19 lines | 397 B | text/x-python | PythonLexer
#!/usr/bin/env python
"""Script to check that all code in a directory compiles correctly.
Usage:
compile.py
This script verifies that all Python files in the directory where run, and all
of its subdirectories, compile correctly.
Before a release, call this script from the top-level directory.
"""
import sys
from toollib import compile_tree
if __name__ == '__main__':
compile_tree()