Dateien, die im Docker Container liegen aber nicht über einen „bind mount“ direkt erreichbar sind, können wir nicht einfach auf den Host kopieren… dachte ich…. aber es gibt doch einen guten Weg:
docker cp NAME_DES_CONTAINERS:/pfad/DATEINAME .
Den Namen des Containers erhalte ich durch:
docker ps --format='{{.Names}}'