resizing terminal
When running acg
with a script file argument, resizing terminal is not triggered (it is part of the welcome_msg
output function, which, for some reason, is not triggered either).
It seems to me that resizing is not necessary if stdin is not a tty. It should be in any other case. Moreover, if stdout is redirected to a file, then we could set the formatter margins to a very large number.