#! /bin/bash
. setupdk
. id.cdk
( set -x ; hostname ; pwd ; ls -al || : )