#!/bin/bash script_dir="$(dirname "$(readlink -f "$0")")" cd $script_dir schema_dir=../resources/schema top_schema=$schema_dir/top_dictionaries.xsd # for now we only have dictionaries example_dir=../examples for example_subdir in $example_dir/* do base=${example_subdir##*/} bottom_schema=$schema_dir/$base.xsd for example_file in $example_subdir/*.xml do command="xmllint -schema $top_schema $example_file --noout" echo $command if ! $command; then exit 1 fi command="xmllint -schema $bottom_schema $example_file --noout" echo $command if ! $command; then exit 1 fi done done