#!/bin/sh dirs="g_suite cgn_exs lot_test_suite1 leuven_yellow_pages cdb" exec find $dirs -name '*.xml' | ./dt_search "$@" --stdin