| 12345678910111213141516171819202122232425 |
- #!/usr/bin/python
- def init_readline():
- import os
- try:
- import readline
- except ImportError:
- return
- histfile = os.path.join(os.path.expanduser("~"), ".trs_hist")
- try:
- readline.read_history_file(histfile)
- except IOError:
- pass
- import atexit
- atexit.register(readline.write_history_file, histfile)
- if __name__ == '__main__':
- from src.parser import main
- init_readline()
- main()
|