Developer Tools

These tools support debugging, formatting, profiling, and coverage work. Install the relevant packages through your development environment first, then use the focused workflow for the task at hand.

The ci/github/logbt helper captures backtraces from crashes. On Ubuntu you need elevated privileges once to reconfigure the kernel core pattern.

sudo ./ci/github/logbt --setup
sudo sysctl kernel.core_pattern
sudo mkdir -p /tmp/logbt-coredumps
sudo chmod 1777 /tmp/logbt-coredumps
ulimit -c unlimited

When running under constrained CI where you cannot change kernel.core_pattern, skip the logbt setup and use the manual gdb workflow in Testing and debugging.

Use Coding style for git clang-format, comments, and source naming rules.

Use the coverage workflow in Testing and debugging.

Profiling setup depends on the subsystem and platform. Keep flamegraph notes here once a maintained PostGIS-specific workflow is written.