Re: cmd: Remove a pointless linefeed in an error message.

2013-04-04 Thread Francois Gouget
On Wed, 3 Apr 2013, Julian Rüger wrote: > Sorry for nagging ;) > > Wasn't the convention to assume an 80-character wide terminal? > This line would wrap, then. > > So the linefeed is not totally pointless here. Please correct me, if I'm > mistaken. Either we wrap it manually assuming a terminal

Re: cmd: Remove a pointless linefeed in an error message.

2013-04-03 Thread Julian Rüger
Sorry for nagging ;) Wasn't the convention to assume an 80-character wide terminal? This line would wrap, then. So the linefeed is not totally pointless here. Please correct me, if I'm mistaken. Best regards, Julian Am Mittwoch, den 03.04.2013, 16:07 +0200 schrieb Francois Gouget: > --- > prog