bash manual s3.1