Código PHP:
Ver original<?php
$f_users = 'usuarios.txt';
// leo el archivo, voy a simularlo:
// simulo archivo
$file = <<<'FILE'
jesus:3124:2015-06-03
jovy1:5254:2015-06-03
jovy2:6485:2015-06-03
jesus:3124:2015-06-03
jovy3:6592:2014-05-27
FILE;
// simulo lectura por lineas del archivo
foreach ($lineas as $linea)
{
{
$out[] = $linea;
$users[] = $user;
}
}
// lo siento, me facilita la visualizacion :)
function debug($arr){
}
debug($out);
// vuelvo a escribir el archivo
El resultado es:
Cita: Array
(
[0] => jesus:3124:2015-06-03
[1] => jovy1:5254:2015-06-03
[2] => jovy2:6485:2015-06-03
[3] => jovy3:6592:2014-05-27
)
----
Otra opcion es no generar un nuevo array sino borrar los elementos que no quieres ahi, consumiria menos memoria pero mas tiempo porque los desplazamientos en los arreglos son costosos :)
Código PHP:
Ver original<?php
$f_users = 'usuarios.txt';
// leo el archivo, voy a simularlo:
// simulo archivo
$file = <<<'FILE'
jesus:3124:2015-06-03
jovy1:5254:2015-06-03
jovy2:6485:2015-06-03
jesus:3124:2015-06-03
jovy3:6592:2014-05-27
FILE;
// simulo lectura por lineas del archivo
foreach ($lineas as $ix => $linea)
{
{
$users[] = $user;
}else
}
// lo siento, me facilita la visualizacion :)
function debug($arr){
}
debug($lineas);
// vuelvo a escribir el archivo
Nota en la ultima version no creo el array $out sino uso unset() para eliminar elementos del array $lineas