Closed flyingsilverfin closed 3 years ago
We make the source command not use the pretty-printer or wait for results unless specified with the --print-answers flag, which is optional.
source
--print-answers
What is the goal of this PR?
We make the
source
command not use the pretty-printer or wait for results unless specified with the--print-answers
flag, which is optional.What are the changes implemented in this PR?
source
now has an optional--print-answers