Je suis en train de chercher à déboguer un crash du serveur xorg dans Kubuntu 20.04, donc j'aurais besoin des symboles pour obtenir une trace de pile correcte. J'ai donc lu cette page : https://www.x.org/wiki/Development/Documentation/ServerDebugging/. Il est indiqué que je devrais installer xserver-xorg-core-dbg et un autre package spécifique à ma GPU, qui dans mon cas est de nVidia avec des pilotes propriétaires.
Je soupçonne que ce dernier n'existe pas, peut-être qu'il est inclus dans les pilotes en source fermée, est-ce correct ? Mais qu'en est-il du premier ? Je ne le trouve pas pour la 20.04. N'y a-t-il pas de package fournissant les symboles? Merci !