#!/bin/sh
set -x

echo HOME="$HOME"
