So in the very simple one-array situation, this is probably safe.
But it doesn't generalise.  If you have two array of distinct devices,
then something like

 ARRAY /dev/md0 devices=/dev/sda1,/dev/sdb1,/dev/sdc1,/dev/sdd1
 ARRAY /dev/md1 devices=/dev/sde1,/dev/sdf1,/dev/sdg1,/dev/sdh1

is not safe.  If /dev/sda1 fails, you pull it out and reboot, then md1
won't be assembled properly as everything will get renamed.
In general it is safer to use UUIDs

  DEVICE /dev/sd[a-z][0-9]
  ARRAY /dev/md0 uuid=whatever
  ARRAY /dev/md1 uuid=whatever:else

Hope that makes it reasonably clear.

Absolutely, thanks.


-- 
-----BEGIN GEEK CODE BLOCK-----
Version: 3.12
GCS d--(+)@ s-:+ a- C+++(++++) UL+>++++ P+>++ L+++>++++ E-- W++ N o? K-
w--(---) !O M+ V- PS++(+) PE(-) Y++ PGP t++(---)@ 5 X+(++) R+(++) tv--(+)@ 
b++(+++) DI+++ D G++ e* h>++ r%>* y?
------END GEEK CODE BLOCK------

http://www.stop1984.com
http://www.againsttcpa.com