random sin que se repitan hasta finalizar

[Cuervoo]

Eso lo hace cada vez que carga la página, no? Y vos querés que cada vez que se cargue, muestre uno distinto.

Si está bien eso que entendí, podrías guardarlo en una variable session y verificar que no haya sido usada antes.

Código PHP:

do
{
    $campania_aleatoria = array_rand($directorio);
} while (in_array($campania_aleatoria, $_SESSION['campanas']);
 
$_SESSION['campanas'][] = $campania_aleatoria;