• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

eric6/ThirdParty/Pygments/pygments/__main__.py@169e65a6787c (annotated)

eric6/ThirdParty/Pygments/pygments/__main__.py

Sat, 27 Feb 2021 12:08:23 +0100

author

Detlev Offenbach <detlev@die-offenbachs.de>

date

Sat, 27 Feb 2021 12:08:23 +0100

changeset 8138

169e65a6787c

parent 7983

54c5cfbb1e29

permissions

-rw-r--r--

Shell: added functionality to show a prompt when the main client process has exited (e.g. a script ended).

7983 54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	1	# -*- coding: utf-8 -*-
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	2	"""
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	3	pygments.__main__
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	4	~~~~~~~~~~~~~~~~~
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	5
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	6	Main entry point for ``python -m pygments``.
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	7
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	8	:copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS.
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	9	:license: BSD, see LICENSE for details.
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	10	"""
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	11
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	12	import sys
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	13	import pygments.cmdline
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	14
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	15	try:
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	16	sys.exit(pygments.cmdline.main(sys.argv))
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	17	except KeyboardInterrupt:
54c5cfbb1e29 Third Party packages Detlev Offenbach <detlev@die-offenbachs.de> parents: 7701 diff changeset	18	sys.exit(1)