Hey Ludo, > That would ensure we’re only changing Guile’s notion of the terminal > width and not interfering with other tools we might launch as child > processes. > > Thoughts? Seems like a better idea indeed. Here's an update patch. About using 200 or a much larger value as Danny suggested, I don't have a strong opinion myself. WDYT? Thanks, Mathieu