eric6/ThirdParty/Pygments/pygments/__main__.py

changeset 7547
21b0534faebc
child 7701
25f42e208e08
equal deleted inserted replaced
7546:bf5f777260a6 7547:21b0534faebc
1 # -*- coding: utf-8 -*-
2 """
3 pygments.__main__
4 ~~~~~~~~~~~~~~~~~
5
6 Main entry point for ``python -m pygments``.
7
8 :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS.
9 :license: BSD, see LICENSE for details.
10 """
11
12 import sys
13 import pygments.cmdline
14
15 try:
16 sys.exit(pygments.cmdline.main(sys.argv))
17 except KeyboardInterrupt:
18 sys.exit(1)

eric ide

mercurial