bash -xv