You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@maven.apache.org by GitBox <gi...@apache.org> on 2022/05/12 08:26:40 UTC
[GitHub] [maven] gnodet opened a new pull request, #737: [MNG-7477] Adapt the maven output to the width of the terminal
gnodet opened a new pull request, #737:
URL: https://github.com/apache/maven/pull/737
PR for testing.
A few things:
* I had to redefine the `getTerminalWidth()` method to take into account the fact that the output can be redirected, in which case the previous `getTerminalWidth()` returns the width of the console using the err stream.
* the exact behavior when the output is redirected needs to be chosen: the behavior could depend if the output is actually padded or not, or the output could be padded only in the case the output is actually displayed on the console. The behavior with this PR is to consider a default width of 80, thereby using the previous behavior
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [maven] gnodet closed pull request #737: [3.9.x] [MNG-7477] Adapt the maven output to the width of the terminal
Posted by GitBox <gi...@apache.org>.
gnodet closed pull request #737: [3.9.x] [MNG-7477] Adapt the maven output to the width of the terminal
URL: https://github.com/apache/maven/pull/737
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [maven] mthmulders commented on pull request #737: [MNG-7477] Adapt the maven output to the width of the terminal
Posted by GitBox <gi...@apache.org>.
mthmulders commented on PR #737:
URL: https://github.com/apache/maven/pull/737#issuecomment-1124959418
> Shouldn't that rather be part of shared which does a lot of Jansi handling?
I think that's how it's done in the `master` branch. Unless that solves a different problem than this PR does...?
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [maven] gnodet commented on pull request #737: [3.9.x] [MNG-7477] Adapt the maven output to the width of the terminal
Posted by GitBox <gi...@apache.org>.
gnodet commented on PR #737:
URL: https://github.com/apache/maven/pull/737#issuecomment-1125426196
> > Shouldn't that rather be part of shared which does a lot of Jansi handling?
>
> I think that's how it's done in the `master` branch. Unless that solves a different problem than this PR does...?
Argh, I did not even checked if that was already done in master :-(
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org