#!/bin/bash -e cat <