misc/docker/run-wrapper.sh

#!/bin/bash
# Internal wrapper script used to run commands in a container

# Copy all the files we need from the mypy repo directory shared with
# the host to a local directory. Accessing files using a shared
# directory on a mac can be *very* slow.
echo "copying files to the container..."
cp -R /repo/{mypy,mypyc,test-data,misc} .
cp /repo/{pytest.ini,conftest.py,runtests.py,pyproject.toml,setup.cfg} .
cp /repo/{mypy_self_check.ini,mypy_bootstrap.ini} .

# Run the wrapped command
"$@"