From 14dd368cd086f8052423e82ffcf950a41b98c218 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 1 Mar 2023 09:23:27 +0000 Subject: [PATCH 1/3] Removed not needed escaping. --- .woodpecker/check_external_file_refs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.woodpecker/check_external_file_refs b/.woodpecker/check_external_file_refs index be739e2..4f55430 100755 --- a/.woodpecker/check_external_file_refs +++ b/.woodpecker/check_external_file_refs @@ -1,6 +1,6 @@ #!/bin/sh -DIRREGEXP="\\.\\.\\/" +DIRREGEXP="\\.\\./" REGEXP=$DIRREGEXP DIR=$DIRMATCH From 990c6f7708c75edd078c8ecf71d8bd40d5bca216 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 1 Mar 2023 09:24:09 +0000 Subject: [PATCH 2/3] Renaming. --- .woodpecker/build.yml | 2 +- .woodpecker/{unchecked-theories => check_dangeling_theories} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename .woodpecker/{unchecked-theories => check_dangeling_theories} (100%) diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml index 6178e81..6fc4294 100644 --- a/.woodpecker/build.yml +++ b/.woodpecker/build.yml @@ -2,7 +2,7 @@ pipeline: build: image: docker.io/logicalhacking/isabelle2022 commands: - - ./.woodpecker/unchecked-theories + - ./.woodpecker/check_dangeling_theories - ./.woodpecker/check_external_file_refs - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX - mkdir -p $ARTIFACT_DIR diff --git a/.woodpecker/unchecked-theories b/.woodpecker/check_dangeling_theories similarity index 100% rename from .woodpecker/unchecked-theories rename to .woodpecker/check_dangeling_theories From 3aa1b4583767929d23b0eb1fd597698837bbd85b Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 1 Mar 2023 09:25:10 +0000 Subject: [PATCH 3/3] Print status. --- .woodpecker/check_external_file_refs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.woodpecker/check_external_file_refs b/.woodpecker/check_external_file_refs index 4f55430..b163f15 100755 --- a/.woodpecker/check_external_file_refs +++ b/.woodpecker/check_external_file_refs @@ -1,7 +1,9 @@ #!/bin/sh - DIRREGEXP="\\.\\./" +echo "Checking for references pointing outside of session directory:" +echo "==============================================================" + REGEXP=$DIRREGEXP DIR=$DIRMATCH failed=0