diff frontends/src/jp/constants.py @ 2309:c7a72b75232b

jp (shell): shell command (REPL mode), first draft: This command launch jp in REPL mode, allowing do normal jp commands with some facilities. Command can be selected with "cmd" (e.g. "cmd blog"). An argument can be fixed with "use" (e.g. "use output fancy"). Command is launched with "do", or directly with its name if it doesn't conflict with a shell command. Arguments completion is still TODO (only shell commands are completed so far).
author Goffi <goffi@goffi.org>
date Thu, 06 Jul 2017 20:28:25 +0200
parents 31f586d6ab16
children 0fed4a1c033a
line wrap: on
line diff
--- a/frontends/src/jp/constants.py	Wed Jul 05 15:05:49 2017 +0200
+++ b/frontends/src/jp/constants.py	Thu Jul 06 20:28:25 2017 +0200
@@ -41,6 +41,9 @@
     A_SUBHEADER = A.BOLD + A.FG_RED
     A_SUCCESS = A.BOLD + A.FG_GREEN
     A_FAILURE = A.BOLD + A.FG_RED
+    # A_PROMPT_* is for shell
+    A_PROMPT_PATH = A_HEADER
+    A_PROMPT_SUF = A.BOLD
 
     # exit codes
     EXIT_OK = 0