docker-entrypoint.sh

#!/bin/sh

# Update latest Python dependencies in case they have changed
cd /project-readonly
pip install --upgrade -e ".[dev]"

# This helps a potential permission issue, but might be removed
# pending some more investigation of docker host file system
# permissions in the bind mount
# npm cache clean --force
# npm install

cd /project
cp -r /project-readonly/sphinx_rtd_theme .

echo "Going to invoke: npm run $@"
npm run $@
Docker configuration for dev environment 2022-08-19 14:54:42 +02:00			`#!/bin/sh`

Wrapping up the Docker work, using docker cp again in order to copy assets out of containers 2022-08-24 16:49:29 +02:00			`# Update latest Python dependencies in case they have changed`
			`cd /project-readonly`
Docker configuration for dev environment 2022-08-19 14:54:42 +02:00			`pip install --upgrade -e ".[dev]"`

Fix node.js error in docker runtime, speed up build by not copying the entire context 2022-08-23 23:29:24 +02:00			`# This helps a potential permission issue, but might be removed`
			`# pending some more investigation of docker host file system`
			`# permissions in the bind mount`
Wrapping up the Docker work, using docker cp again in order to copy assets out of containers 2022-08-24 16:49:29 +02:00			`# npm cache clean --force`
			`# npm install`

			`cd /project`
			`cp -r /project-readonly/sphinx_rtd_theme .`
Fix node.js error in docker runtime, speed up build by not copying the entire context 2022-08-23 23:29:24 +02:00
			`echo "Going to invoke: npm run $@"`
Docker configuration for dev environment 2022-08-19 14:54:42 +02:00			`npm run $@`