blob: 33a9ff058e10da0dc7614bb74239343409b9b3c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/usr/bin/env bash
for f in $(git ls-files "dev/ci/user-overlays/")
do
if ! ([[ "$f" = dev/ci/user-overlays/README.md ]] || [[ "$f" == *.sh ]])
then
>&2 echo "Bad overlay '$f'."
>&2 echo "User overlays need to have extension .sh to be picked up!"
exit 1
fi
done
|