Dashboard

#!/bin/sh set -e cd "$(dirname -- "$0")" col() { echo '

' eval "$*" echo '

' } echo ' 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 echo ' '