On Mon, 5 May 2003, Simon Burge wrote: : If there were a host OS with a sed that couldn't do 's/^0*//' then we'd : need to look at adding it as a host tool. Or just say `fsck off for that host', since that BRE is so simple and standard that any such broken `sed' ain't worth the trouble. 8-) -- -- Todd Vierling <tv@pobox.com>