Add wkdev-setup-debugging host script

Igalia / webkit-container-sdk

The all-in-one SDK for WebKit GTK/WPE port development.

MIT License

11 stars 7 forks source link

Add wkdev-setup-debugging host script #24

Open TingPing opened 5 months ago

TingPing commented 5 months ago

patrick@wkdev:~/checkout/WebKit$ rr record echo 'hello world'
rr needs /proc/sys/kernel/perf_event_paranoid <= 1, but it is 2.
Change it to 1, or use 'rr record -n' (slow).
Consider putting 'kernel.perf_event_paranoid = 1' in /etc/sysctl.d/10-rr.conf.
See 'man 8 sysctl', 'man 5 sysctl.d' (systemd systems)
and 'man 5 sysctl.conf' (non-systemd systems) for more details.

nikolaszimmermann commented 1 month ago

I'm not sure anymore if we really need this. rr is actually nice and explains what you need to do on your host system. How about we just add a README.md section for tools like rr/perf/etc. and describe with a few sentences what needs to be done on the host -- there are so many host distros, that handle things differently, probably hard to script it.

fred-wang commented 1 month ago

FWIW, this is https://github.com/rr-debugger/rr/wiki/Building-And-Installing#os-configuration