Bug#996153: pipetty doesn't set window size

2021-11-06 Thread Adam Borowski
On Thu, Nov 04, 2021 at 09:18:47PM +0100, Jakub Wilk wrote: > * Adam Borowski , 2021-10-12, 22:09: > > One option would be providing a bogus size (such as 80x24 as getty on > > serial does). I'm not sure, though, if it'd do more or less harm than > > not providing a size at all. > > > > On the oth

Bug#996153: pipetty doesn't set window size

2021-11-04 Thread Jakub Wilk
* Adam Borowski , 2021-10-12, 22:09: Some programs are very confused about the terminal width when run under pipetty, e.g.: [...] Apparently this is because pipetty never sets windows size, so the size is reported as 0: $ strace -f -o '|grep -w TIOCGWINSZ >&2' pipetty gallery-dl --help >/de

Bug#996153: pipetty doesn't set window size

2021-10-12 Thread Adam Borowski
On Mon, Oct 11, 2021 at 03:33:12PM +0200, Jakub Wilk wrote: > Package: colorized-logs > Version: 2.6-1 > > Some programs are very confused about the terminal width when run under > pipetty, e.g.: [...] > Apparently this is because pipetty never sets windows size, so the size is > reported as 0: >

Bug#996153: pipetty doesn't set window size

2021-10-11 Thread Jakub Wilk
Package: colorized-logs Version: 2.6-1 Some programs are very confused about the terminal width when run under pipetty, e.g.: $ gallery-dl --help | head usage: gallery-dl [OPTION]... URL... General Options: -h, --helpPrint this help message and exit --version