[Tech] regexp

[Gianni Bianchini]

On Thu, Jun 21, 2001 at 04:34:24PM +0200, Claudio Mannucci wrote:

> Mi sono scordato che gli zeri da considerare sono solo quelli iniziali...
> es. 001234567 -> 01234567 ma 00123400123 -> 0123400123...
> 
> e poi mi sono accorto che quello che ho scritto mi sostituisce anche 3
> zeri...

Ma n zeri in testa devono diventare uno o n-1?
Nel primo caso

s/^0\*/0/g

nel secondo

s/^00/0/g

Ciao.
Gianni.


--
   Gianni Bianchini - giannibi@firenze.linux.it
                      giannibi@iname.com