#!/bin/bash OUTPUT=$1 DATE=`date` cat << EOF > $OUTPUT DATE="$DATE" BUILD="$RELEASE_FILE" MICROPYTHON_SHA="$MICROPYTHON_VERSION" PIMORONI_PICO_SHA="$GITHUB_SHA" EOF