change file extensions

This commit is contained in:
2023-05-15 16:15:30 +02:00
parent 0ac085a97e
commit 1046de0b8d
6 changed files with 10 additions and 10 deletions

View File

@ -5,11 +5,11 @@ pushd "$(dirname -- $0)" > /dev/null
mkdir -p scans
mkdir -p site
for config in configs/*.yaml
for config in configs/*.yml
do
site="$(basename ${config/.yaml/})"
site="$(basename ${config/.yml/})"
echo "Scan $site"
./scan "$site"
./scan.sh "$site"
done
popd > /dev/null