bash argument handling