From cf2a4486ea51c393ce2b369cdce76b6baf7649f2 Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Sat, 3 Dec 2022 01:42:16 +0100
Subject: [PATCH] adds a .sonar directory.

---
 mvn.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mvn.sh b/mvn.sh
index a5c8e8c..4ae0923 100755
--- a/mvn.sh
+++ b/mvn.sh
@@ -11,6 +11,7 @@ docker run \
           --env GITHUBLOGIN=$GITHUBLOGIN \
           --env GITHUBPASSWORD=$GITHUBPASSWORD \
           --mount type=bind,source=${HOME}/.m2,target=/var/maven/.m2 \
+          --mount type=bind,source=${HOME}/.sonar,target=/var/maven/.sonar \
           --mount type=bind,source=${HOME}/.ssh,target=/home/user/.ssh \
           --mount type=bind,source=${HOME}/.gitconfig,target=/home/user/.gitconfig,readonly \
           --mount type=bind,source="$(pwd)",target=/usr/src/mymaven \
-- 
GitLab