Re: Debian 10 planté par mise à jour pour autre version (+ récente)
Le 06/06/2023 à 21:17, didier gaumet a écrit : [...] Je te parle de Debian 12 parce qu'elle sort le 10 juin, c'est confirmé, les bugs sont trop nombreux pour retarder la sortie. [...] je voulais dire: "les bugs sont trop *peu* nombreux pour retarder la sortie"
Re: recherche exemples de script Python pour GDB (deboguage du moteur d'inference RefPerSys)
Le 06/06/2023 à 18:54, Basile Starynkevitch a écrit : Bonsoir la liste, Pour déboguer le moteur d'inférence http://refpersys.org/ (en C++, sur Debian/Sid/x86-64 compilé avec GCC 12 ou GCC 13, code en cours de développement sur https://github.com/RefPerSys/RefPerSys ) je cherche des exemples (-sous licence libre, en français ou en anglais) d'extension de GDB 13 en Python. C'est documenté comme possible, https://sourceware.org/gdb/current/onlinedocs/gdb.html/Python.html#Python mais je ne suis très familier avec Python. J'aurais préféré coder le déboguage avec Guile, https://www.gnu.org/software/guile/ mais celui-ci semble moins bien supporté par GDB. Bonjour, Est-ce que https://sourceware.org/gdb/current/onlinedocs/gdb.html/Guile.html#Guile répond à ta question? C'est que je crois comprendre, mais j'ai peut-être mal compris ta question au départ... j'aurais alors eu des soucis à compiler GDB 13.2 sous Debian avec GCC 13. Si vous savez le faire (en configurant GDB pour qu'il soit extensible avec GNU guile) donnez moi s'il vous plait des indications Cordialement
Re: Debian 10 planté par mise à jour pour autre version (+ récente)
Le 06/06/2023 à 14:44, Romain P. a écrit : Le 06/06/2023 à 09:00, didier gaumet a écrit : Bonjour :-) (pour faire court parce que tu as l'air un bloqué depuis un certain temps:) - Non, dans ta situation, à part tes données perso (/home), il faut que tout soit effacé (formaté, dans l'installateur, n'utilise pas un outil externe, tu risques au pire d'aggraver les choses (changement de type de disque MR/GPT)). - Mais avant de perdre du temps et de l'énergie pour rien, commence déjà par savoir si tu tu peux continuer à utiliser Debian: si tu veux continuer à utiliser un pilote propriétaire pour une carte Nvidia un peu vieille, il se pourrait que tu ne puisses pas utiliser une Debian supérieure à la version que tu utilisais (10 Buster). Auquel cas il faudrait soit que tu acceptes d'utiliser le pilote libre Nouveau soit que tu cherches une distribution qui permette l'utilisation d'un ancien pilote propriétaire Nvidia - Donc il faudrait d'abord que tu nous dises quelle est précisément ta carte graphique. Tu peux obtenir l'info dans un terminal par la commande: lspci | grep -i vga dont tu nous donneras le résultat Bonjour Oui, je garde Debian pour refaire des TP TD sous Debian, j'avais 2 enseignements sous Debian, 2 sous Xubuntu et 2 sous Windows. C'est juste pour me maintenir à niveau. Je suis d'accord pour changer le pilote de la carte graphique et j'envisage de changer de carte graphique car on a changé de version d'un logiciel pour la version pro qui nécessite une meilleur carte graphique. Il y a une MSI GeForce GTX 1630 Ventus XS 4G OC à 122 € par exemple. Actuellement, j'ai une MSI GT1030 2GH LP OC. "lspci | grep -i vga" : 01:00.0 VGA compatible controller: NVIDIA Corporation GP108 (rev a1) Merci Romain ta carte a l'air d'être: - suffisamment récente pour être supportée par les versions ordinaires (pas "Legacy") du pilote propriétaire Nvidia - pas suffisamment récente pour être supportée par le récent pilote libre créé par Nvidia (module noyau uniquement) - prise en charge partiellement (y a jamais de prise en charge totale au niveau des fonctionnalités) par le pilote libre Nouveau. Les fonctionnalités prises en charge sont listées là à la colonne NV130: https://nouveau.freedesktop.org/FeatureMatrix.html tu remarqueras qu'il manque VDPAU, SLI, le power management et la gestion des calculs (OpenCL, je suppose) A toi de voir, suivant tes besoins et tes éventuelles orientations philosophico-informatiques, si tu préfères le pilote proprio Nvidia (qui ne sera un jour plus disponible) ou le pilote libre Nouveau (qui pour l'instant n'offre pas toutes les fonctionnalités apportées par le pilote proprio, même si ça devrait changer à l'avenir car Nouveau devrait intégrer des fonctionnalités apportées par le pilote libre Nvidia) Donc à partir de là tu sais que tu peux installer Debian 12 Bookworm proprement (pas de MAJ à partir de ta distro existante). Je te parle de Debian 12 parce qu'elle sort le 10 juin, c'est confirmé, les bugs sont trop nombreux pour retarder la sortie. Et ce serait un peu idiot d'installer Debian 11 maintenant, je trouve. Bon courage :-)
recherche exemples de script Python pour GDB (deboguage du moteur d'inference RefPerSys)
Bonsoir la liste, Pour déboguer le moteur d'inférence http://refpersys.org/ (en C++, sur Debian/Sid/x86-64 compilé avec GCC 12 ou GCC 13, code en cours de développement sur https://github.com/RefPerSys/RefPerSys ) je cherche des exemples (-sous licence libre, en français ou en anglais) d'extension de GDB 13 en Python. C'est documenté comme possible, https://sourceware.org/gdb/current/onlinedocs/gdb.html/Python.html#Python mais je ne suis très familier avec Python. J'aurais préféré coder le déboguage avec Guile, https://www.gnu.org/software/guile/ mais celui-ci semble moins bien supporté par GDB. j'aurais alors eu des soucis à compiler GDB 13.2 sous Debian avec GCC 13. Si vous savez le faire (en configurant GDB pour qu'il soit extensible avec GNU guile) donnez moi s'il vous plait des indications Cordialement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Debian 10 planté par mise à jour pour autre version (+ récente)
Le 06/06/2023 à 10:10, Basile Starynkevitch a écrit : Et sur un PC fixe, on pourrait envisager de changer la carte graphique. Certains modèles se trouvent d'occasion. Je prefère les cartes ATI/AMD à Nvidia, car AMD est devenu moins hostile au logiciel libre. Bonjour Basile J'envisage de changer de carte graphique car on a changé de version d'un logiciel pour la version pro qui nécessite une meilleur carte graphique (avec 4 Go de mémoire). Il y a une MSI GeForce GTX 1630 Ventus XS 4G OC à 122 € par exemple. Le problème de l'occasion est que l'on ne sait pas si elles ont été overclocké et ont servi a miner des cryptomonnaies jours et nuits. Ma carte mère est MSI MPG Z390M Gaming EDGE AC. Merci Romain
Re: Debian 10 planté par mise à jour pour autre version (+ récente)
Le 06/06/2023 à 09:00, didier gaumet a écrit : Bonjour :-) (pour faire court parce que tu as l'air un bloqué depuis un certain temps:) - Non, dans ta situation, à part tes données perso (/home), il faut que tout soit effacé (formaté, dans l'installateur, n'utilise pas un outil externe, tu risques au pire d'aggraver les choses (changement de type de disque MR/GPT)). - Mais avant de perdre du temps et de l'énergie pour rien, commence déjà par savoir si tu tu peux continuer à utiliser Debian: si tu veux continuer à utiliser un pilote propriétaire pour une carte Nvidia un peu vieille, il se pourrait que tu ne puisses pas utiliser une Debian supérieure à la version que tu utilisais (10 Buster). Auquel cas il faudrait soit que tu acceptes d'utiliser le pilote libre Nouveau soit que tu cherches une distribution qui permette l'utilisation d'un ancien pilote propriétaire Nvidia - Donc il faudrait d'abord que tu nous dises quelle est précisément ta carte graphique. Tu peux obtenir l'info dans un terminal par la commande: lspci | grep -i vga dont tu nous donneras le résultat Bonjour Oui, je garde Debian pour refaire des TP TD sous Debian, j'avais 2 enseignements sous Debian, 2 sous Xubuntu et 2 sous Windows. C'est juste pour me maintenir à niveau. Je suis d'accord pour changer le pilote de la carte graphique et j'envisage de changer de carte graphique car on a changé de version d'un logiciel pour la version pro qui nécessite une meilleur carte graphique. Il y a une MSI GeForce GTX 1630 Ventus XS 4G OC à 122 € par exemple. Actuellement, j'ai une MSI GT1030 2GH LP OC. "lspci | grep -i vga" : 01:00.0 VGA compatible controller: NVIDIA Corporation GP108 (rev a1) Merci Romain
Re: Debian 10 planté par mise à jour pour autre version (+ récente)
On 6/6/23 08:51, didier gaumet wrote: Le 05/06/2023 à 23:57, Romain Pillot a écrit : Bonsoir ☺ Dans mon cas de Debian 10 planté, puis-je installer Debian 11 par dessus Debian 10 planté, ou dois-je formater les partitions d’installation de Debian avant ? Avant de ce faire, je recommande de sauvegarder (par exemple partar czf /home/etc-deb10.tgz /etc ) la partition /etc du Debian 10 planté. Peut-être même la sauvegarder sur une clef USB externe. Merci Romain Bonjour :-) (pour faire court parce que tu as l'air un bloqué depuis un certain temps:) - Non, dans ta situation, à part tes données perso (/home), il faut que tout soit effacé (formaté, dans l'installateur, n'utilise pas un outil externe, tu risques au pire d'aggraver les choses (changement de type de disque MR/GPT)). - Mais avant de perdre du temps et de l'énergie pour rien, commence déjà par savoir si tu tu peux continuer à utiliser Debian: si tu veux continuer à utiliser un pilote propriétaire pour une carte Nvidia un peu vieille, il se pourrait que tu ne puisses pas utiliser une Debian supérieure à la version que tu utilisais (10 Buster). Auquel cas il faudrait soit que tu acceptes d'utiliser le pilote libre Nouveau soit que tu cherches une distribution qui permette l'utilisation d'un ancien pilote propriétaire Nvidia Il me semble que Nouveau marche bien. Et sur un PC fixe, on pourrait envisager de changer la carte graphique. Certains modèles se trouvent d'occasion. Je prefère les cartes ATI/AMD à Nvidia, car AMD est devenu moins hostile au logiciel libre. - Donc il faudrait d'abord que tu nous dises quelle est précisément ta carte graphique. Tu peux obtenir l'info dans un terminal par la commande: lspci | grep -i vga dont tu nous donneras le résultat -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Debian 10 planté par mise à jour pour autre version (+ récente)
Le 05/06/2023 à 23:57, Romain Pillot a écrit : Bonsoir ☺ Dans mon cas de Debian 10 planté, puis-je installer Debian 11 par dessus Debian 10 planté, ou dois-je formater les partitions d’installation de Debian avant ? Merci Romain Bonjour :-) (pour faire court parce que tu as l'air un bloqué depuis un certain temps:) - Non, dans ta situation, à part tes données perso (/home), il faut que tout soit effacé (formaté, dans l'installateur, n'utilise pas un outil externe, tu risques au pire d'aggraver les choses (changement de type de disque MR/GPT)). - Mais avant de perdre du temps et de l'énergie pour rien, commence déjà par savoir si tu tu peux continuer à utiliser Debian: si tu veux continuer à utiliser un pilote propriétaire pour une carte Nvidia un peu vieille, il se pourrait que tu ne puisses pas utiliser une Debian supérieure à la version que tu utilisais (10 Buster). Auquel cas il faudrait soit que tu acceptes d'utiliser le pilote libre Nouveau soit que tu cherches une distribution qui permette l'utilisation d'un ancien pilote propriétaire Nvidia - Donc il faudrait d'abord que tu nous dises quelle est précisément ta carte graphique. Tu peux obtenir l'info dans un terminal par la commande: lspci | grep -i vga dont tu nous donneras le résultat
