From 67a936f80e97072445a9a3bfb3c35552430d16d3 Mon Sep 17 00:00:00 2001
From: Razvan Deaconescu <razvan.deaconescu@upb.ro>
Date: Mon, 27 Mar 2023 00:33:33 +0300
Subject: [PATCH] local.sh: Copy config files for Docker interactive run
Copy hidden `.checkpatch.conf` and `.shellcheckrc` in temporary folder
that will be mounted for running Docker interactively.
Signed-off-by: Razvan Deaconescu <razvan.deaconescu@upb.ro>
---
local.sh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/local.sh b/local.sh
index dc8ef7d..a097c36 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" \
--
GitLab