diff --git a/script/tools/make_docker.sh b/script/tools/make_docker.sh index fd13801bb9202f2823968e06deeb8964ce1f5c18..0a00335d5150d6bef05ea46018eb58d611334a1b 100644 --- a/script/tools/make_docker.sh +++ b/script/tools/make_docker.sh @@ -53,6 +53,7 @@ function make_image() sed -i "s#IMAGE_NAME#${version_time}#" "${docker_config}/config.xml" sed -i 's/container=.*>/container=\"'${branch}'\">/g' "${docker_config}/config.xml" sed -i "/obs_repo_here/a " "${docker_config}/config.xml" + sed -i "/exit/i python3 -c \"import pathlib;import shutil;[shutil.rmtree(p) for p in pathlib.Path('/').rglob('__pycache__')]\"" "${docker_config}/images.sh" cp "${docker_config}/config.xml" "${cfg_dir}" cp "${docker_config}/images.sh" "${cfg_dir}"