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>