Skip to content
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

Get window size by TIOCGWINSZ #58

Merged
merged 3 commits into from
Nov 12, 2018
Merged

Get window size by TIOCGWINSZ #58

merged 3 commits into from
Nov 12, 2018

Conversation

kubo39
Copy link
Contributor

@kubo39 kubo39 commented Nov 12, 2018

No description provided.

@codecov-io
Copy link

codecov-io commented Nov 12, 2018

Codecov Report

Merging #58 into master will increase coverage by 0.22%.
The diff coverage is 0%.

@@            Coverage Diff             @@
##           master      #58      +/-   ##
==========================================
+ Coverage   62.55%   62.78%   +0.22%     
==========================================
  Files          40       41       +1     
  Lines        1688     1682       -6     
==========================================
  Hits         1056     1056              
+ Misses        632      626       -6

@arkark
Copy link
Owner

arkark commented Nov 12, 2018

Thanks!

@kubo39
Copy link
Contributor Author

kubo39 commented Nov 12, 2018

What's the reason for you writing || size.ws_col == 0?

Just to avoid zero division error, as well as GNU readline, however meaningless in this time. Remove it, thx.

@arkark arkark merged commit fa8ac7d into arkark:master Nov 12, 2018
@kubo39 kubo39 deleted the tiocgwinsz branch November 12, 2018 16:57
@arkark
Copy link
Owner

arkark commented Nov 12, 2018

Thank you for your contributions!!!!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants