#!/bin/bash . ./Common # # Note that we have to escape things for the shell as well. In general, # for any character C, \C becomes C. However, in the case of <