bash args

# command-line options
for X
do
case $X in