Add properties_file option (#19)

nikitasavinov · Feb 14, 2021 · 755b0a5 · 755b0a5
1 parent f53e0ef
commit 755b0a5
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -40,6 +40,8 @@ Default is 'reviewdog'.
 ### `workdir`
 Optional. Working directory relative to the root directory.
 
+### `properties_file`
+Optional. Properties file relative to the root directory.
 
 ## Example usage
 

diff --git a/action.yml b/action.yml
@@ -37,6 +37,9 @@ inputs:
  tool_name:
  description: 'Tool name to use for reviewdog reporter'
  default: 'reviewdog'
+ properties_file:
+ description: 'Properties file relative to the root directory.'
+ default: ''
 runs:
  using: 'docker'
  image: 'Dockerfile'
diff --git a/entrypoint.sh b/entrypoint.sh
@@ -4,7 +4,11 @@ echo "Running check"
 
 export REVIEWDOG_GITHUB_API_TOKEN="${INPUT_GITHUB_TOKEN}"
 
-exec java -jar /checkstyle.jar "${INPUT_WORKDIR}" -c "${INPUT_CHECKSTYLE_CONFIG}" -f xml \
+if [ -n "${INPUT_PROPERTIES_FILE}" ]; then
+ OPT_PROPERTIES_FILE="-p ${INPUT_PROPERTIES_FILE}"
+fi
+
+exec java -jar /checkstyle.jar "${INPUT_WORKDIR}" -c "${INPUT_CHECKSTYLE_CONFIG}" ${OPT_PROPERTIES_FILE} -f xml \
  | reviewdog -f=checkstyle \
  -name="${INPUT_TOOL_NAME}" \
  -reporter="${INPUT_REPORTER:-github-pr-check}" \