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 <emollier@emlwks999.eu> 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.
Attachment:
signature.asc
Description: PGP signature