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 <
emol...@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.