Bonjour Basile, Bonjour didier, didier gaumet, on 2022-05-10: > Le mardi 10 mai 2022 à 16:08 +0200, Basile Starynkevitch a écrit : > > Bonjour, > > > > Pour mes divers projets logiciels (dont http://refpersys.org/ ....) > > j'ai besoin des informations de déboguage (utilisés par GDB comme par > > la librarie libbacktrace de Ian Lance Taylor) > > > > Mes systèmes Debian ou Ubuntu sont assez récents (par exemple > > Debian/Bookworm/sid ou Ubuntu 22.04) sur des processeurs x86-64 > > multicoeurs (au moins 6 coeurs, et parfois 24). > > > > Comment faire, en minimisant le temps que ça me prend. > > > > Merci. > > PS.Un exemple de bogue: mon petit gtksrc-browser.c commit 7dd6ab9 > > > > Bonjour, > > Sous réserve que je ne comprenne pas de travers, > Je n'étais pas au courant mais il semble qu'il existe pour les versions > récentes de Debian un système automatique de récupération des symboles > de debug.
Oui, il s'agit du service debuginfod[1,2,3]. Pour le configurer
rapidement et ne plus avoir à s'en occuper par la suite :
# apt install --yes libdebuginfod1
# cat > /etc/profile.d/debuginfod.sh <<- END
DEBUGINFOD_URLS="https://debuginfod.debian.net";
export DEBUGINFOD_URLS
END
En option, un export DEBUGINFOD_PROGRESS=1 permet de se
convaincre que les symboles de débogage sont téléchargés (ou
pas) pendant la session de débogage.
Le serveur de debuginfo[1] prend en charge Debian en versions
11, 12 et sid. Je n'ai pas entendu dire qu'il y ait de service
similaire pour Ubuntu 22.04 malheureusement.
[1]: https://debuginfod.debian.net
[2]: https://wiki.debian.org/Debuginfod
[3]: https://sourceware.org/elfutils/Debuginfod.html
Bonne soirée, :)
--
Étienne Mollier <[email protected]>
Fingerprint: 8f91 b227 c7d6 f2b1 948c 8236 793c f67e 8f0d 11da
Sent from /dev/pts/2, please excuse my verbosity.
On air: Queensrÿche - Promised Land
PS : désolé pour les typos dans un échange précédent, j'ai
remplacé le clavier par un qui ne mange pas les caractères,
et j'ai augmenté la taille de mes fontes.
signature.asc
Description: PGP signature
