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:

codice:
$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