#!/bin/bash
echo Hello `whoami`\!
# now we type a ^D (Mac: CMD-d) which signals end of file
