Closed asmorkalov closed 1 year ago
Can one of the admins verify this patch?
Can you fix the build errors?
Step 7/8 : ADD docker_entrypoint.bash /docker_entrypoint.sh
ADD failed: file not found in build context or excluded by .dockerignore: stat docker_entrypoint.bash: file does not exist
Additionally, can you provide what I need to change in the wiki install instructions? Does the user just now not have to run source devel/setup.bash
when they enter the container? Thanks!
Current Dockerfiles propose incorrect environment setup. The second
/bin/bash
call in chain does not inherit environment from the first one. Proposed patch fixes issue withdevel/setup.bash
and addskalibr_xxx
tools to PATH.