Ver Mensaje Individual
  #1 (permalink)  
Antiguo 02/05/2010, 12:55
JUANKIDJ
 
Fecha de Ingreso: mayo-2010
Mensajes: 1
Antigüedad: 14 años
Puntos: 0
[AYUDA] Extraer texto de un fichero de texto

Buenas, he estado intentando sin éxito extrar una porción de texto (varias líneas del archivo). Pongo un ejrmplo:

Dado el siguiente archivo.txt con el contenido:

Código:
linea de texto 1
linea de texto 2
linea de texto 3
linea de texto 4
linea de texto 5
linea de texto 6
linea de texto 7
linea de texto 8
linea de texto 9
linea de texto 10
¿Como lo haría (en php) para extraer (copiar en otro archivo) por ejemplo, el texto?:

Código:
linea de texto 3
linea de texto 4
linea de texto 5
He intentado con varias funciones pero no condigo dar con la solución..

¿a alguien se le ocurre como hacerlo?

Gracias de antemano!