dev/tools/check-overlays.sh


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