#!/bin/bash if [ "$#" -ne 1 ]; then echo "Usage: $0 " 1>&2 exit 1 fi aufs="$1" # Get the current tip name { read x url read x osha1 }