[bash] Amend the device_trace alias.