On Sat, Dec 15, 2012 at 10:16:55PM +0100, Peter Bex wrote: > A simple sed(1) expression should do the trick: > > sed -E 's/ +/ /g' old-file > new-file I just remembered where I could check, and the GNU sed equivalent is: sed -r 's/ +/ /g' old-file > new-file Sorry for the confusion. Cheers, Peter -- http://sjamaan.ath.cx -- "The process of preparing programs for a digital computer is especially attractive, not only because it can be economically and scientifically rewarding, but also because it can be an aesthetic experience much like composing poetry or music." -- Donald Knuth -- Sent via pgsql-general mailing list (pgsql-general@xxxxxxxxxxxxxx) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-general
