#!/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 *
