Prendere righe random da file di testo senza doppioni

[edonista]

Ho un file dbhome.txt del tipo:

Firenze|nuvoloso|10gradi
Arezzo|sereno|15gradi
Siena|variabile|11gradi

e via cosi per altre x righe, voglio estrarre tutte le righe del suddetto file txt ma volgio che siano prese (e stampate a video) in maniera random, quindi:

$str=file('dbhome.txt'); 
$max = count($str); 
for ($num=1; $num<=$max; $num++) 
{ 
$nuovo= $str[array_rand($str)]; 
$link=explode('|',$nuovo); 
echo "$link[0] - $link[1] - $link[2] - $link[3]";
}

Stampo tutte le info di tutte le righe in maniera random ma con alcune righe che sono presenti 2 volte! NON riesco a pensare a nulla per non avere righe doppione. Qualcuno ha idee? grazie

[Ranma2]

$array = file('dbhome.txt');
$rand_array = array_rand($array , count($array +1));
foreach ($rand_array AS $single_record)
{
    $link = explode('|',$single_record); 
    echo "$link[0] - $link[1] - $link[2] - $link[3]";
} 

oppure con shuffle()

$array = file('dbhome.txt');
shuffle($array);
foreach ($array AS $single_record)
{
    $link = explode('|',$single_record); 
    echo "$link[0] - $link[1] - $link[2] - $link[3]";
} 

[edonista]

GRAZIE !
Metto il link alla funzione shuffle che èpoi è quella che fa il lavoro richiesto: LINK