# arg: <docker-images-format-string> <file-to-append>
__PRODSTUB_image_data() {
echo -e "$PROD_STUB_DISPLAY_NAME\t$(docker images --format $1 $PROD_STUB_IMAGE)" >> $2
# arg: <docker-images-format-string> <file-to-append>
__PRODSTUB_image_data() {
echo -e "$PROD_STUB_DISPLAY_NAME\t$(docker images --format $1 $PROD_STUB_IMAGE)" >> $2