-
Notifications
You must be signed in to change notification settings - Fork 359
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix the detection of the current terminal size #6244
Conversation
0be59ef
to
b7bbf7b
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think it worth for this fix to add in the commit the os tested, like that we have a snapshot of where it is working when added.
Except the API changes, lgtm!
|
||
let that's_a_no_no _ = failwith "Unix only. This function isn't implemented." | ||
|
||
let get_stdout_ws_col = that's_a_no_no |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
the first Unix stub :D
b7bbf7b
to
ce2f0c3
Compare
requested change done |
Tested on: * Linux/glibc * Linux/musl * macOS * FreeBSD * OpenBSD * NetBSD * Cygwin
ce2f0c3
to
ab18706
Compare
rebased |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
Fixes #6243
Tested on:
Can't test:
The only change of behaviour between the code previous to #6230 and this one is that prior it would default to 80 column only if you had all 3 (stdout, stdin, stderr) redirected, but now it would default to it if only stdout is redirected, which i think is an improvement.
Backported to 2.3 in #6246