#!/bin/sh

outfile="$1"; shift

(
   for host in "$@"; do
      hosts="$hosts $host"
      cdist config -c ~/p/cdist-nutzung -p $hosts 2>&1
   done
) | tee "$outfile"
echo "----------"
grep 'INFO: Total processing time for' "$outfile" | sed 's/.*: //'