Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!watmath!clyde!floyd!harpo!seismo!hao!hplabs!sri-unix!steve@brl-bmd From: steve%brl-bmd@sri-unix.UUCP Newsgroups: net.unix Subject: Re: how to double space text? Message-ID: <17622@sri-arpa.UUCP> Date: Fri, 16-Mar-84 11:32:01 EST Article-I.D.: sri-arpa.17622 Posted: Fri Mar 16 11:32:01 1984 Date-Received: Mon, 19-Mar-84 07:50:02 EST Lines: 15 From: Stephen WolffWhen compiled, main(){ char c; while(1){ putchar(c=getchar()); if(c=='\n')putchar(c); } } works as a filter. So does awk '{print; printf("\n");}' but neither is blindingly efficient -- except for the programmer.