From 768c97ee489fcf8a17794febb3e3b107631522bc Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 4 Feb 2011 09:57:50 +0100
Subject: [PATCH] add script to coordinate run of explorers on the target

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 bin/cdist-explorer-coordinator | 35 ++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100755 bin/cdist-explorer-coordinator

diff --git a/bin/cdist-explorer-coordinator b/bin/cdist-explorer-coordinator
new file mode 100755
index 00000000..9d3c270a
--- /dev/null
+++ b/bin/cdist-explorer-coordinator
@@ -0,0 +1,35 @@
+#!/bin/sh
+#
+# 2010-2011 Nico Schottelius (nico-cdist at schottelius.org)
+#
+# This file is part of cdist.
+#
+# cdist is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# cdist is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with cdist. If not, see <http://www.gnu.org/licenses/>.
+#
+#
+# Coordinate run of explorers on target
+#
+
+. cdist-config
+
+[ $# -eq 2 ] || __cdist_usage "<explorer dir> <result dir>"
+
+set -e
+
+explorer_dir="$1"; shift
+result_dir="$1"; shift
+
+cd "${explorer_dir}"
+for explorer in *; do
+   ./$explorer > "${result_dir}/${explorer}"