diff --git a/local.sh b/local.sh index dc8ef7d5b351ddd1eb4b3a4204a9b71418e20686..a097c365f885096e274a6b1a0aa3625e10a670f3 100755 --- a/local.sh +++ b/local.sh @@ -185,6 +185,8 @@ docker_interactive() { tmpdir="$(mktemp -d)" cp -R ./* "$tmpdir" + cp ./.checkpatch.conf "$tmpdir" + cp ./.shellcheckrc "$tmpdir" docker run --rm -it \ --mount type=bind,source="$tmpdir",target="$MOUNT_PROJECT_DIRECTORY" \