#!/bin/sh set -e cd "$(dirname -- "$0")" col() { echo '
' eval "$*" echo '
' } cat < Dashboard $(col sed 's/@name@/proton/' jarmon.html.in) $(col sed 's/@name@/winston/' jarmon.html.in) $(col cat tls.html.part crtsh.html.part diff.html.part) EOT