##// 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:

r2146:f57d8b10 merge
r2281:21a097ae
Show More
update_revnum.py
32 lines | 711 B | text/x-python | PythonLexer
#!/usr/bin/env python
"""Change the revision number in release.py
This edits in-place release.py to update the revision number from bzr info.
Usage:
./update_revnum.py"""
import os
import pprint
import re
from toollib import *
if __name__ == '__main__':
ver = version_info()
pprint.pprint(ver)
rfile = open('../IPython/core/release.py','rb').read()
newcont = re.sub(r'revision\s*=.*',
"revision = '%s'" % ver['revno'],
rfile)
newcont = re.sub(r'^branch\s*=[^=].*',
"branch = '%s'" % ver['branch-nick'],
newcont)
f = open('../IPython/core/release.py','wb')
f.write(newcont)
f.close()