debuginfod
which is meant to provide dynamic debug symbols to debugging tools. The problem I've found is that using valgrind
is horrifically slow as the debug symbols are downloaded and processed.
One way to avoid the debug is to disable debuginfod
is to rm /etc/debuginfod/*.urls; echo "set debuginfod enabled off" > /etc/gdbinit.d/debuginfo.gdb
. But how do we get our debug symbols for gdb
?