mirror of
https://github.com/Aider-AI/aider.git
synced 2025-06-03 19:24:59 +00:00
remind about suggesting shell commands
This commit is contained in:
parent
454d0206bc
commit
c351d76c2b
2 changed files with 10 additions and 1 deletions
|
@ -333,7 +333,7 @@ class InputOutput:
|
|||
log_file.write(content + "\n")
|
||||
|
||||
def user_input(self, inp, log_only=True):
|
||||
if not log_only:
|
||||
if not log_only and self.pretty:
|
||||
style = dict(style=self.user_input_color) if self.user_input_color else dict()
|
||||
self.console.print(Text(inp), **style)
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue