| Index: src/scripts/common.sh
|
| diff --git a/src/scripts/common.sh b/src/scripts/common.sh
|
| index bad8dd42aa33b465319c2a7fdd84b050c21eee79..2a3c5d25a5cc66e7e24601746efc6e6cc2169dae 100644
|
| --- a/src/scripts/common.sh
|
| +++ b/src/scripts/common.sh
|
| @@ -190,3 +190,17 @@ function install_if_missing {
|
| sudo apt-get --yes --force-yes install $PKG_NAME
|
| fi
|
| }
|
| +
|
| +# Returns true if the input file is whitelisted.
|
| +#
|
| +# $1 - The file to check
|
| +is_whitelisted() {
|
| + local file=$1
|
| + local whitelist="$FLAGS_whitelist"
|
| + test -f "$whitelist" || (echo "Whitelist file missing ($whitelist)" && exit 1)
|
| +
|
| + local checksum=$(md5sum "$file" | awk '{ print $1 }')
|
| + local count=$(sed -e "s/#.*$//" "${whitelist}" | grep -c "$checksum" \
|
| + || /bin/true)
|
| + test $count -ne 0
|
| +}
|
|
|