mirror of
https://github.com/servo/servo
synced 2026-04-25 17:15:48 +02:00
f621e54b54
Rename the `--scan` argument to `-w/--write-file` and the `--use` argument to `-r/--read-file`. This is more aligned with `tshark`'s syntax, and I think it is a more intuitive naming scheme. Remove the `--filter` and `--range` arguments. They are very easily replaced by more powerful tools like `grep` and `jq`. It seems unnecessary to have them in this script (specially when the most useful thing it does is exporting the capture as NDJSON for other tools to process). This fixes an issue with the last message not being exported. Change the default port to `6080`. This matches the current information [in the book](https://book.servo.org/hacking/using-devtools.html#connecting-to-servo) on how to run Servo with DevTools enabled. Testing: Checked with `math test-scripts` --------- Signed-off-by: eri <eri@igalia.com>