terminal-window-size breaks with ssh

> Try running `ssh example.com guix pull` or something else that uses

> progress bars. You'll get an "Inappropriate ioctl for device" instead

> of Guix simply doing the sensible thing: disabling progress bars.

> Hi,

>

> raingloom <raingloom@riseup.net> skribis:

>

> > Try running `ssh example.com guix pull` or something else that uses

> > progress bars. You'll get an "Inappropriate ioctl for device"

> > instead of Guix simply doing the sensible thing: disabling progress

> > bars.

>

> I can’t reproduce this with c852d897551f514de95c224fa79e748f48808068.

> Specifically, ‘ssh HOST guix pull’ shows me the Git progress bar

> (while updating channels), and then there are no progress bars for

> downloads but dots instead (as expected).

>

> Which revision (as returned by ‘guix describe’) behaves like this for

> you?

>

> Thanks,

> Ludo’.

> On Thu, 04 Feb 2021 13:55:04 +0100

> Ludovic Courtès <ludo@gnu.org> wrote:

>

>> Hi,

>>

>> raingloom <raingloom@riseup.net> skribis:

>>

>> > Try running `ssh example.com guix pull` or something else that uses

>> > progress bars. You'll get an "Inappropriate ioctl for device"

>> > instead of Guix simply doing the sensible thing: disabling progress

>> > bars.

>>

>> I can’t reproduce this with c852d897551f514de95c224fa79e748f48808068.

>> Specifically, ‘ssh HOST guix pull’ shows me the Git progress bar

>> (while updating channels), and then there are no progress bars for

>> downloads but dots instead (as expected).

> Of course it does work now. :D

> Looking at `guix pull --list-generations`, the last two before the bug

> are:

> Generation 6 Dec 13 2020 01:47:37

> guix 1adeb74

> Generation 7 Jan 23 2021 16:47:02

> guix 0288e21

> ...aaaand I can't see later ones because guix just got killed. Maybe

> the code that computes the differences between generations is not

> terribly memory efficient...