map host user to docker user (#171)

adrpo · web-flow · commit 3b39b0dbc40b · 2024-11-10T17:11:54.000Z
diff --git a/.CI/Jenkinsfile b/.CI/Jenkinsfile
@@ -373,7 +373,7 @@ pipeline {
             label 'linux'
             dir '.CI/build-dep'
             customWorkspace 'ws/OpenModelicaLibraryTestingReport'
-            args '-e IDA_EMAIL_USR=$IDA_EMAIL_USR -e IDA_EMAIL_PSW=$IDA_EMAIL_PSW'
+            args '-e IDA_EMAIL_USR=$IDA_EMAIL_USR -e IDA_EMAIL_PSW=$IDA_EMAIL_PSW --user 1001 --volume /etc/passwd:/etc/passwd:ro --volume /etc/group:/etc/group:ro'
           }
         }
         when {

Original file line number	Diff line number	Diff line change
`@@ -373,7 +373,7 @@ pipeline {`
`373`	`373`	`label 'linux'`
`374`	`374`	`dir '.CI/build-dep'`
`375`	`375`	`customWorkspace 'ws/OpenModelicaLibraryTestingReport'`
`376`		`- args '-e IDA_EMAIL_USR=$IDA_EMAIL_USR -e IDA_EMAIL_PSW=$IDA_EMAIL_PSW'`
	`376`	`+ args '-e IDA_EMAIL_USR=$IDA_EMAIL_USR -e IDA_EMAIL_PSW=$IDA_EMAIL_PSW --user 1001 --volume /etc/passwd:/etc/passwd:ro --volume /etc/group:/etc/group:ro'`
`377`	`377`	`}`
`378`	`378`	`}`
`379`	`379`	`when {`