annotate src/__init__.py @ 2354:5129a0506739

jp (shell): fixed use of profile + added EOF handling: - main profile (i.e. the one specified on command line when invocating "jp shell") was not used. It is now added to arguments if the value is not overriden on command line or in use - EOF (i.e. when user press C-d) is now understood as "quit" command
author Goffi <goffi@goffi.org>
date Fri, 08 Sep 2017 07:58:10 +0200
parents 1128feb54180
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1935
1128feb54180 core: removed pyfeed and xe dependencies:
Goffi <goffi@goffi.org>
parents: 1470
diff changeset
1 from .core.constants import Const as C
1470
8bfbf5cb0e28 core: moved __version__ to __init__.py, so we can check version by doing "import sat;print(sat.__version__)"
Goffi <goffi@goffi.org>
parents: 224
diff changeset
2
8bfbf5cb0e28 core: moved __version__ to __init__.py, so we can check version by doing "import sat;print(sat.__version__)"
Goffi <goffi@goffi.org>
parents: 224
diff changeset
3 __version__ = C.APP_VERSION