#!/bin/sh # EX: directory name, e.g. ex1 EX="$1" { cat <