[Python-es] editar un fichero

[luis miguel]

	Asunto: Re: [Python-es] editar un fichero
	Fecha: sáb, jun 01, 2002 at 06:49:20 +0200


Citando a  Chema Cortés (chemacortes en wanadoo.es):
> 
> Incluso podrías optimizar más (como sugiere veladamente Marcos) con algo tal 
> que así:
> 
>   found = text.find(oldLine)
>   if found<0:
>     source.write(newLine)
>   else:
>     source.seek(found)
>     source.write(newLine)
>     source.write(found+len(oldLine):])

Creo que es:
      source.write(text[found+len(oldLine):])
                   ^^^^
yo a veces meto la pata por la diferencia con el strstr() de C.
Jo, parece que sólo intervengo para corregirte, Chema ;) Me
encanta leer cóligo.


Luis Miguel