diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-03-12 01:25:18 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-03-12 01:25:18 +0900 |
commit | 99476f37e7af75a729aa7bbf301e94aa8da57196 (patch) | |
tree | 27e0d451a48abcaac31ae05c64a2ddbaa2a2fe4c /sphinx/util/console.py | |
parent | 4a1bf03233dea42595fd6efe5beea6d3ee2252f8 (diff) | |
download | sphinx-git-99476f37e7af75a729aa7bbf301e94aa8da57196.tar.gz |
Fix mypy violations (with mypy-0.770)
Diffstat (limited to 'sphinx/util/console.py')
-rw-r--r-- | sphinx/util/console.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/util/console.py b/sphinx/util/console.py index f4c80d288..08aad8ab1 100644 --- a/sphinx/util/console.py +++ b/sphinx/util/console.py @@ -35,7 +35,7 @@ def get_terminal_width() -> int: import termios import fcntl import struct - call = fcntl.ioctl(0, termios.TIOCGWINSZ, + call = fcntl.ioctl(0, termios.TIOCGWINSZ, # type: ignore struct.pack('hhhh', 0, 0, 0, 0)) height, width = struct.unpack('hhhh', call)[:2] terminal_width = width |