Note: "permalinks" may not be as permanent as we would like,
direct links of old sources may well be a few messages off.
> Also, is there a nice way to get relationship between resource name and DRBD > device number? It'd be nice if that was listed in /proc/drbd. > drbdadm dump $RESOURCE | grep -o -m 1 '/dev/drbd[0-9]*'