From: Fleck Jean-Julien <jeanjulien.fleck@...>
Date: 2009-09-04T23:42:47+09:00
Subject: Re: Regular expressions - string substitution

Hello,

> What is the best way to do this? initially I was using
> string.delete("0") but that obviously deletes every 0 and is not the
> desired outcome. I then though string.gsub(/^0/, "") however this only
> gets rid of the very first 0. Does anyone have any suggestions?

string.sub(/^0+/,'')

should do what you are looking for.


Cheers,

-- 
JJ Fleck
PCSI1 Lycée Kléber