Re: Debian 10 planté par mise à jour pour autre version (+ récente)

2023-06-06 Par sujet didier gaumet
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)

2023-06-06 Par sujet didier gaumet
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

Re: Debian 10 planté par mise à jour pour autre version (+ récente)

2023-06-06 Par sujet didier gaumet
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'insta

recherche exemples de script Python pour GDB (deboguage du moteur d'inference RefPerSys)

2023-06-06 Par sujet Basile Starynkevitch
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'ex

Re: Debian 10 planté par mise à jour pour autre version (+ récente)

2023-06-06 Par sujet Romain P.
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 chang

Re: Debian 10 planté par mise à jour pour autre version (+ récente)

2023-06-06 Par sujet Romain P.
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 r

Re: Debian 10 planté par mise à jour pour autre version (+ récente)

2023-06-06 Par sujet Basile Starynkevitch
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