>>>>> On Mon, 09 Dec 2019, Jaco Kroon wrote: > Acked-by: Jaco Kroon OK, I can add this. >> +    if [[ ${EROOT:-/} != / ]] ; then >>          return 0 >>      fi > I don't use spaces in path names ... but what happens here if ROOT or > EPREFIX (and by implication EROOT) contains a space? No problem here, the test would still succeed and return 0. (But I predict that EROOT containing spaces will cause a lot of trouble elsewhere. :) > What about just checking "${EROOT}/boot" instead? For what, existence? There may well be a "boot" directory present under EROOT. (And we could check ${EROOT}/etc/fstab, but I don't think we should open that can of worms. There's no reliable way to guess the user's exact configuration for non-trivial ROOT.) Ulrich