@@ -109,10 +109,11 @@ def read_line(self, prompt):
109109 return self .rl_read_line (prompt )
110110 return input (prompt )
111111
112- def print_result (self , result ):
112+ def print_result (self , result , no_out_prompt = False ):
113113 if result is not None and result .result is not None :
114114 output = self .to_output (str (result .result ))
115- print (self .get_out_prompt () + output + "\n " )
115+ mess = self .get_out_prompt () if not no_out_prompt else ""
116+ print (mess + output + "\n " )
116117
117118 def rl_read_line (self , prompt ):
118119 # Wrap ANSI colour sequences in \001 and \002, so readline
@@ -306,10 +307,9 @@ def main() -> int:
306307
307308 if args .execute :
308309 for expr in args .execute :
309- print (shell .get_in_prompt () + expr )
310310 evaluation = Evaluation (shell .definitions , output = TerminalOutput (shell ))
311311 result = evaluation .parse_evaluate (expr , timeout = settings .TIMEOUT )
312- shell .print_result (result )
312+ shell .print_result (result , no_out_prompt = True )
313313 if evaluation .exc_result == Symbol ("Null" ):
314314 exit_rc = 0
315315 elif evaluation .exc_result == Symbol ("$Aborted" ):
0 commit comments