blob: f7e05b51cdb54c7dca356c3fc43837d006583621 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/usr/bin/env bash
for f in 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
|