Emmanuel Dreyfus writes:
> Hello
> 
> After removing a dead disk from a RAID 1, replacing it by a new one, 
> and trying various things with raidctl, I get this with raidctl -s
> 
> Components:
>      component0: spared
>      /dev/ld6a: optimal
> Spares:
>      /dev/ld7a: used_spare
> 
> Should the setup above be considered fully functionnal? 

Yes.

> Or is there something to do to reach the situation below?
> 
> Components:
>      /dev/ld7a: optimal
>      /dev/ld6a: optimal 
> 

A reboot will get you to the above state, but the only things
that might care about the cosmetic difference are some of the 
daily scripts...  I usually just do the quick reboot to make sure
things are happy.. 

Later...

Greg Oster