ch-grow: COPY fails if directories already exist
If you try to COPY a directory tree that already exists in part at the destination, then ch-grow crashes. E.g., consider this instruction:
COPY --from=buildstage /hello/usr/local/share /usr/local/share
This is attempting to merge two directory hierarchies. The destination contains subdirectories applications, info, and man, while the source contains info, locale, and man.
Docker is happy to execute this, and I haven't analyzed precisely what happens.
ch-grow crashes with:
FileExistsError: [Errno 17] File exists: '/var/tmp/reidpr/ch-grow/img/multistage//usr/local/share/man'