From 1a6859e18d44f2952046eff7652b37b7d098beaa Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Wed, 5 Nov 2014 16:09:42 +0100
Subject: [PATCH] New scripts, to collect data for the demos installer

---
 .../bin/collect_data_directories              | 23 +++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100755 Maintenance/infrastructure/cgal.geometryfactory.com/bin/collect_data_directories

diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/collect_data_directories b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/collect_data_directories
new file mode 100755
index 00000000000..d3f3cdc237b
--- /dev/null
+++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/collect_data_directories
@@ -0,0 +1,23 @@
+#!/bin/zsh
+
+set -e
+
+setopt extendedglob
+
+[ -d ./data ] || mkdir data
+
+for d in (examples|demo)/*/data(/); do
+  example_or_demo=${d%%/*}
+  pkg_plus_data=${d#*/}
+  pkg=${pkg_plus_data%/data}
+  [ "$d" = "${example_or_demo}/${pkg}/data" ] || echo WRONG $d
+  ls -d --color "${example_or_demo}/${pkg}/data"
+  echo example_or_demo=${example_or_demo}
+  echo pkg=${pkg}
+  dest_dir=data/data-${pkg}
+  [ -d "$dest_dir" ] || mkdir "$dest_dir"
+  ls -d --color "$dest_dir"
+  cp -a "$d"/* "${dest_dir}/"
+done
+cd data
+zip -r ../data.zip *