From b31ed214c389e5a194547c7f4fab22b1bc733c75 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 4 Feb 2011 22:53:17 +0100
Subject: [PATCH] Revert "remove useless helper script"

Yes, found a need for this script!

This reverts commit 77c0153c3f15d195a57fd9479f862b4d973b2aae.
---
 doc_show_all_exported_variables | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 doc_show_all_exported_variables

diff --git a/doc_show_all_exported_variables b/doc_show_all_exported_variables
new file mode 100644
index 00000000..921a6f94
--- /dev/null
+++ b/doc_show_all_exported_variables
@@ -0,0 +1,4 @@
+cat bin/* | awk '/^export/ { print $2 }'
+
+# __cdist_intern_*   : set by internal processes
+# __cdist_explore_*  : filled with information of the target host