/dev
- это специальная папка в системах linux, зарезервированная для поддержки ресурсов, связанных с устройствами (файловая система, диски и т. Д.) И смонтированная в специальной файловой системе. В Docker-контейнере он будет перемонтирован с выделенной файловой системой tmpfs и не находится в основной файловой системе контейнера (/
). Смотрите следующий пример:
$ docker run -it --rm ubuntu:18.04
root@17b9ad96ccbc:/# df -h /dev/
Filesystem Size Used Avail Use% Mounted on
tmpfs 64M 0 64M 0% /dev
В вашем случае ваш файл был фактически скопирован во время сборки, но во временной файловой системе, которая умерла, как только сборка была завершена.
Вывод: не используйте /dev
в качестве пункта назначения, выберите другую папку.