Reemplazar una línea en un archivo

[Krunoslav]

Hola, mi problema es que tengo el archivo:

prueba.txt

1
2
3
4
5
6

Y quiero reemplazar la j-ésima fila por "a".
Intenté con:

Código PHP:

  <?php
$f=fopen("prueba.txt","a+");
 
for($i=0;$linea=fgets($f);$i++) {
    if($i==3) {
        fwrite($f,"aa\r\n");
    }
 
}
fclose($f);
?>   

Pero lo que hace es escribir "aa" al final del archivo.
Hay alguna forma para hacer esto que no sea guardar todo el archivo en variables y después volver a pegarlo con la 4º línea cambiada?

Muchas gracias.

[pintix]

Si abres el fichero con a+ el puntero siempre está al final de este, tienes que poner r+ para que empieze el fgets desde el principio. De todas formas, no estoy seguro de si te reemplazará o añadirá "aa", creo que esto último... así que probablemente tendrás que pasar por variables.

[jerkan]

Puedes utilizar la funcion file que te devuelve un array con todas las filas del fichero. De esta manera, (creo que) tendrás que reescribir todo el fichero pero te ahorrarás un montón de trabajo en buscar la línea de turno.

Un saludo

[Krunoslav]

Eso he hecho, ocupar un file y luego con fputs volver a escribirlas con la fila modificada.
Y en velocidad, no hay problemas? (lo he hecho con archivos pequeños)

Probé con poner r+ en vez de a+ y inexplicablemente (para mi) ha reemplazado la línea en vez de escribir al lado. Reemplazó la 4ª línea por "a".

Gracias a pintix y a jerkan por sus respuestas.