Re: libwxgtk3.2-1t64 et fichiers d'en-têtes
On 5/6/24 10:23 AM, BERTRAND Joël wrote: Basile Starynkevitch a écrit : On 5/6/24 09:42, BERTRAND Joël wrote: Bonjour à tous, Il vient d'y avoir une salve de bibliothèques avec une extension t64 (pour time_t en 64 bits contre 32). Très bien, mais quelqu'un saurait-il où trouver les fichiers d'en-tête correspondant ? Si je regarde par exemple libwxgtk3.2-1t64, le seul fichier d'en-têtes semble être libwxgtk3.2-dev qui veut désinstaller libwxgtk3.2-1t64 pour remettre libwxgtk3.2. Je ne trouve rien dans les rapports de bogues. Faut-il recompiler la bibliothèque à partir du paquet source ? En espérant que ce paquet contienne ce qu'il faut pour créer le -dev. Bien cordialement, Il est possible (c'est l'habitude dans le monde GNU) qui vous faut juste compiler avec les mêmes fichiers d'entête, mais des drapeaux de preprocessing différents. Oui, ça, je sais. Mais pour compiler, encore faudrait-il avoir les fichiers d'en-têtes ;-) La question était "où donc sont ces fichus fichiers d'en-têtes". https://wiki.wxwidgets.org/Main_Page https://www.wxwidgets.org/downloads/ https://github.com/wxWidgets/wxWidgets/releases/download/v3.2.4/wxWidgets-3.2.4.tar.bz2 Ce dernier fichier (de md5sum 8eada508f5bdf390eeec5b0e0af38f71) contient plus de deux mille fichiers d'entête (dont wxWidgets-3.2.4/interface/wx/filename.h par exemple) J'imagine que ça devrait vous suffire. Pour ma part, je préfère utiliser GTK ou GTKmm ou Fox-toolkit (cf https://fox-toolkit.org/ ...) ou Qt6 ou LablGTK (wxwidgets a la réputation d'être une toolkit par dessus d'autres existantes) Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 8 rue de la Faïencerie, 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir:https://github.com/RefPerSys/RefPerSys
Re: libwxgtk3.2-1t64 et fichiers d'en-têtes
On 5/6/24 09:42, BERTRAND Joël wrote: Bonjour à tous, Il vient d'y avoir une salve de bibliothèques avec une extension t64 (pour time_t en 64 bits contre 32). Très bien, mais quelqu'un saurait-il où trouver les fichiers d'en-tête correspondant ? Si je regarde par exemple libwxgtk3.2-1t64, le seul fichier d'en-têtes semble être libwxgtk3.2-dev qui veut désinstaller libwxgtk3.2-1t64 pour remettre libwxgtk3.2. Je ne trouve rien dans les rapports de bogues. Faut-il recompiler la bibliothèque à partir du paquet source ? En espérant que ce paquet contienne ce qu'il faut pour créer le -dev. Bien cordialement, Il est possible (c'est l'habitude dans le monde GNU) qui vous faut juste compiler avec les mêmes fichiers d'entête, mais des drapeaux de preprocessing différents. Par exemple, en utilisant pkg-config (ou bien cmake) ou même la ligne CPPFLAGS= qui convienne dans votre GNUmakefile. Ou en lançant un script configure avec les options qui conviennent. Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 8 rue de la Faïencerie, 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: Caractères manquantes
On 5/1/24 20:32, David P. wrote: Bonjour, J'ai un Dell Latitude 5480, J'ai remarqué qu'il manquait un touche pour les caractères < >, généralement située entre le shift gauche et la lettre W. Vu que je développe avec ces caractères, je sèche... Il nous manque une photo du clavier. L'absence de ces touches est étrange, en particulier parce que ces signes servent même sous Windows (en ligne de commande) ou dans un tableur Excel. Une première possibilité consiste à changer le clavier (il faut aller chez un assembleur capable de le faire, ou bien savoir bricoler soi-même et avoir une bonne vue et une loupe). En Googlant j'ai trouvé un clavier (modèle SN7231) avec la touche < à gauche du W. https://clavier-express.com/dell/7270-clavier-pour-dell-latitude-5480-series-sn7231.html?gad_source=1=Cj0KCQjw0MexBhD3ARIsAEI3WHJjKeaxMvXBLq35a6Y6FugZZAp6vQeFZ3vuG6Ec6GZI3XbBlrsJZpEaAkJFEALw_wcB <https://clavier-express.com/dell/7270-clavier-pour-dell-latitude-5480-series-sn7231.html?gad_source=1=Cj0KCQjw0MexBhD3ARIsAEI3WHJjKeaxMvXBLq35a6Y6FugZZAp6vQeFZ3vuG6Ec6GZI3XbBlrsJZpEaAkJFEALw_wcB> et peut-être https://fixlaptop.fr/claviers-portables/569-clavier-dell-latitude-5289.html Si vous ne voulez pas changer le clavier physique, il est possible d'en changer la disposition. Par exemple avec l'utilitaire https://wiki.archlinux.org/title/Xmodmap_(Fran%C3%A7ais) Une autre possibilité est le branchement d'un clavier externe (en USB). https://www.materiel.net/ en vend. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 8 rue de la Faïencerie, 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: [HS] Lynx
On 4/30/24 11:17, didier gaumet wrote: Le 30/04/2024 à 10:43, Marc Chantreux a écrit : [...] Au passage: je suis preneur si quelqu'un sait comment avoir dans chromium les choses suivantes: * virer le chrome (tout ce qui n'est pas html) qui ne me sert jamais à rien et qui bouffe une grosse partie de l'écran. Une solution possible, et intermédiaire entre un navigateur Web graphique lourd et complet comme Firefox (ou Chrome) et un navigateur textuel comme Lynx (ou Links) est d'utiliser le navigateur Dillo. Celui-ci est graphique, ne traite pas et ne comprend pas le JavaScript (mais traite les feuilles de styles CSS et les pages HTML5 pas trop compliquées), libre sous licence GPLv3+, empaqueté sous Debian, https://dillo.org/ Une autre solution serait codable (et devrait déjà exister, au moins partiellement) au dessus de Qt6. https://www.qt.io/product/qt6 Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 8 rue de la Faïencerie, 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: [HS] Lynx
On 4/30/24 07:55, Alex PADOLY wrote: Bonjour à tous, Quel est l'intérêt aujourd'hui de navigateurs de type Lynx? Une documentation ne devrait pas (toujours) avoir besoin d'un format graphique. Par exemple, les utilitaires GNU comme GCC ont une documentation au format texinfo, qui se convertit canoniquement en du HTML sans graphiques, sans JavaScript, mais avec des hyperliens. Il en est de même du format des pages de man. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 8 rue de la Faïencerie, 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
recherche exemple libre de greffon pour thunderbird (Linux)
Bonsoir la liste,
J'utilise Thunderbird 115.7.0 (64-bit) sous Debian/x86-64 Trixie pour
envoyer et lire des courriels (souvent au format HTML).
Je cherche un exemple de code source libre (sous licence GPL, à la
rigueur LGPL) de greffon ("plugin") pour Thunderbird.
Ceci en rapport avec le projet RefPerSys <http://refpersys.org/> (moteur
d'inférences libre) pour lequel je cherche des contributeurs et un
consortium ITEA ou HorizonEurope, dont le code est référencé ci-dessous.
Librement
--
Basile Starynkevitch
(only mine opinions / les opinions sont miennes uniquement)
8 rue de la Faïencerie, 92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
See/voir:https://github.com/RefPerSys/RefPerSys
Re: Montage cifs
On 4/27/24 11:53, Norbert Ponce wrote: Bonjour, Pour monter mon nas déjà bien ancien, j'avais mis dans le fstab: //192.168.1.14/Volume_1 /media/nas cifs vers=1,_netdev,credentials=/root/.smbcredentials,iocharset=utf8 0 0 Beaucoup de NAS ont une interface web, et tournent (à l'intérieur du NAS) une variété de Linux. Il est possible qu'on puisse: 1. mettre à jour le micrologiciel (firmware) du NAS, souvent un Linux (interne au NAS) spécialisé 2. configurer le NAS par une interface Web 2. le configurer pour que le NAS exporte les données en suivant un protocole NFS (v3 ou v4) que tous les Linux supportent bien. Je recommande donc de se plonger dans la documentation du NAS. Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 8 rue de la Faïencerie, 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: CD vendeurs debian
Bonjour,
Pour créer une clef USB debian on peut suivre
https://debian-facile.org/doc:install:usb-boot
On 4/22/24 09:40, jc gucci wrote:
https://www.debian.org/CD/vendors/#fr
vendeur de support d'installation de debian
https://www.getlinux.f le lien fonctionne j'ai pas encore essayé la
commande (5,99$)
https://www.hypra.fr/ le lien ne fonctionne pas
et si vous m'adresser par courrier une clef USB je peux vous installer
une Debian (ou Ubuntu) récente dessus et vous la renvoyer par courrier
simple (indiquez moi votre adresse postale).
Avec d'autres je développe le moteur d'inférences libre RefPerSys
<http://refpersys.org/> ("*REF*lexive *PER*sistent *SYS*tem", sous
licence GPLv3+ ou CeCILL) pour et sur Debian. Je cherche des
applications et/ou des contributions et/ou un consortium ITEA
<https://itea4.org/> ou HorizonEurope
<https://www.horizon-europe.gouv.fr/> qui pourrait être intéressés.
Et des supports avec Debian sont vendus (en ligne) par
https://enventelibre.org/fr/debian/94-cle-usb-debian.html
<https://enventelibre.org/fr/debian/94-cle-usb-debian.html-- Basile
Starynkevitch (only mine opinions / les
opinions sont miennes uniquement)8 rue de la Faïencerie, 92340
Bourg-la-Reine, Franceweb page: starynkevitch.net/Basile/See/voir:
https://github.com/RefPerSys/RefPerSys>
Les associations APRIL <https://april.org/> et AFUL
<https://aful.org/association/> (dont je suis membre) peuvent vous aider
à installer Debian. Ou moi-même si vous venez chez moi (92340
Bourg-la-Reine en Île-de-France). Contactez moi préalablement sur mon
téléphone portable (+33-068501 suivi de la somme de cinquante-neuf et de
2300).
librement
--
Basile Starynkevitch
(only mine opinions / les opinions sont miennes uniquement)
8 rue de la Faïencerie, 92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
See/voir:https://github.com/RefPerSys/RefPerSys
Re: LTS bulleye ou bookworm
On 4/6/24 10:10, jc gucci wrote: je ne comprends pas comment la 11 peut etre disponible alors qu'elle est prevu pour le 15 aout et la 12 pour 2026. Que dois-je choisir - en lts - ? Ça dépend principalement de l'usage et de la machine. S'agit-il de choisir une distribution sur un serveur de calcul? un superordinateur? Un ordinateur portable? S'agit-il de choisir une distribution pour un ou des ingénieurs développant du code? Et le compilent? S'il s'agit d'un ordinateur individuel (fixe ou portable), à quel usage? Si la machine est destinée à du calcul scientifique, quel genre? Ou bien s'agit-il d'une utilisation bureautique basique (non scientifique) pour laquelle Libreoffice suffit? Est-ce une machine reliée à plusieurs réseaux Ethernet et jouant des rôles de passerelles, de filtrage de contenu Internet, de serveur Web? Quelle est la fiabilité requise de la machine? Est-elle allumée tous les jours ouverables, ou branchée en permanence? Sans précisions, il n'est pas possible de vous conseiller. Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 8 rue de la Faïencerie, 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
recherche preprocesseur libre
Bonsoir la liste
Pour le moteur d'inférences RefPerSys ("reflexive persistent system") en
https://github.com/RefPerSys/RefPerSys sous licence GPLv3+ je souhaite
que la syntaxe (encore à définir, vos suggestions constructives sont
bienvenues) soit fournie par une grammaire (probablement pour GNU bison,
peut-être pour bison++) par un fichier qui soit obtenu par un
préprocesseur textuel (libre) préférentiellement packagé sous Debian
Testing.
RefPerSys vise à être plus performant que CLIPSrules (en
https://clipsrules.net/ ...)
On veut y générer du code (C++ ou machine) durant l'exécution (via des
métarègles générant des règles d'inférence et du code), et reprendre des
idées de https://arxiv.org/abs/1109.0779 (et certaines de Jacques
Pitrat, voir https://fr.wikipedia.org/wiki/Jacques_Pitrat
RefPerSys a déjà un mécanisme d'agenda et un mécanisme de persistence
orthogonale. Voir aussi
L'intuition c'est d'être reflexif: la grammaire de RefPerSys doit être
décrite, ou au moins étendue, par des règles de grammaire qui sont
générées par RefPerSys
Je connais bien sûr GNU m4 (dont la syntaxe comme la sémantique sont
assez atroces) et GPP (en https://logological.org/gpp ) qui pourrait
être utilisé pour générer la grammaire au format *.yy pour GNU bison
Merci de vos suggestions.
--
Basile Starynkevitch
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
Re: Coordonnées graphiques du focus clavier
On 3/24/24 19:50, Pierre ESTREm wrote: Bonjour, Je ne parviens pas à trouver comment récupérer les coordonnées X et Y où se situe le focus clavier dans un écran. Ca doit se faire... La question me parait bizarre. Dans mon souvenir des règles de codage des applications graphiques, un tel comportement est explicitement proscrit ou déconseillé. Quel est le cas d'usage? En plus le focus clavier appartient à une fenêtre (zone rectangulaire de X11) pas à un point. Et il peut être redirigé, et peut-être même dans des cas pathologiques multiples. Tout ce que je sais faire est de récupérer celles du pointeur souris (avec les modules pyxhook ou pyautogui). Une idée en Python ? Sinon en Bash, xprop etc Je ne connais pas l'API en détails, mais en C et avec un serveur d'affichage Xorg (pas Wayland) il faudrait se plonger dans les détails de IM. https://www.x.org/releases/X11R7.6/doc/xorg-docs/specs/ICCCM/icccm.html - comptez plusieurs jours de lecture (et ensuite quelques semaines de codage). Peut-être qu'il pourrait être utile de se limiter à un seul gestionnaire de fenêtres (sans viser la généralité) par exemple choisir entre https://www.fvwm.org/ et https://ice-wm.org/ et ensuite en modifier le code pour que votre logiciel puisse interroger directement ce gestionnaire de fenêtres. Mais la question me surprend, et me parait contraire aux attendus des utilisateurs et aux usages. Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: DoS protection pour Serveurs Debian ?
On 3/13/24 19:39, Jean-François Bachelet wrote: Hello folks :) qu'utiliseriez vous si l'un de vos serveurs Debian était la cible d'attaques style Denial of Service (DoS)? vu le nombre croissant d'attaques en tous genre sur les serveurs de la planête par tout un tas de hackers, muscler la protection de serveurs (pros ou privés) est devenu indispensable. des idées de solutions efficaces à partager ? Sans être spécialiste, je commencerais par installer (et configurer si besoin) le paquet fail2ban de Debian. Si on cherche des outils plus sérieux pour analyser le code source: https://frama-c.com/ et https://github.com/bstarynk/bismon/ (les deux ncessiteront du travail et des adaptations, il faudrait compter des mois). Pour ma part, je cherche des partenaires ou contributeurs intéressés par le projet libre de moteur d'inférences (GPLv3+, Linux, bogué et incomplet) https://github.com/bstarynk/bismon/ (reflexive persistent system). Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
cherche petit exemple de code C++ pour GTKmm4/Debian (passer des arguments au programme)
Bonjour la liste
Pour le projet moteur d'inférences RefPerSys <http://refpersys.org/>
("Reflexive Persistent System") en
https://github.com/RefPerSys/RefPerSys nous avons besoin d'un exemple
simple (ou d'une contribution externe) d'application graphique en Gtkmm4
(ou peut-être FLTK1.4, FOX1.7, Qt6.6). Il est indispensable que ça soit
du logiciel libre GPLv3+ (ou CECILL) compatible sous Linux.
L'idée étant de séparer dans deux processus Linux différents qui
communiquent (par un socket ou un canal FIFO)
l'interface graphique (en Gtkmm4 ou peut-être Qt6; on a aussi envisagé
Fox ou FLTK) qui est un processus qui dure peu (on imagine quelques
heures, correspondant à une demi-journée de travail). Elle devrait
afficher du texte et des menus (et serait configurable par le moteur
proprement dit). Ma difficulté sur l'exemple
https://github.com/bstarynk/misc-basile/blob/master/gtkmm-refpersys.cc
et de passer des arguments au programme (en ligne de commande, sur Linux
ou POSIX exclusivement).
le moteur d'inférence lui-même (qui génère du code C++ -compilé en en
greffon temporaire qui sera dlopen-é, ou GNU lightning à la volée) qui
en principe tourne plus longtemps (idealement une semaine entière). Le
code actuel est capable de persister son étant dans des fichiers JSON,
de générer plus ou moins du C++ temporaire, de gérer un agenda de
threads posix.
ultérieurement ces deux processus pourraient tourner sur des machines
différentes dans le même bâtiment.
J'ai cherché depuis pas mal de temps un exemple *simple* d'application
libre C++ en GTKmm. Bien sûr il existe Inkscape, mais le code est énorme
et j'ai du mal à le comprendre.
Connaissez vous un exemple simple en Gtkmm4 (par exemple un éditeur à la
qemacs)? quelque chose qui fait quelques milliers de ligne de code et
qui soit lisible et bien plus petit qu'Inkscape.
Merci de votre aide.
Librement
(NB je cherche peut-être aussi un consortium ITEA ou HorizonEurope
intéressé par les moteurs d'inférences en logiciel libre en Europe, je
r^ve aussi de donner quelques TD en région parisienne sur la
programmation Linux).
--
Basile Starynkevitch
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
See/voir:https://github.com/RefPerSys/RefPerSys
Re: Quid du support nvidia en mars 2024
On 3/12/24 20:14, kaliderus wrote:
Bonsoir,
Qu'en est-il actuellement du support nvidia ?
Il y a super longtemps (15-20 ans), j'ai galéré comme pas possible à
utiliser des drivers proprio (" fuck nvidia " dixit un certain Linus).
Actuellement mon ordi fonctionne avec une carte intel, impeccable.
J'envisage d'investir dans du matériel neuf et récent, chose qui ne
m'est pas arrivée depuis plus de 10 ans.
Mon besoin final :
- via qemu, virtualiser un Win$ 10/11/ou autre car pour un
logiciel spécifique (vraiment pas le choix).
- avoir un support multi-écrans (6 sorties) du système susnommé
(éventuellement avec plusieurs cartes graphiques si nécessaire)
toujours à travers qemu.
Voyez-vous des limitations matérielles ou logicielles, à priori, pour
ce genre de configuration ?
Dans le détail, ça dépend du modèle de carte mère, de processeur, de
carte graphique.
Il y a d'une part les pilotes propriétaires, toujours compliqués à
installer.
Il y a d'autre part le pilote Nouveau, moins performant (pour les jeux,
OpenGL, le graphique 3D, l'affichage de flux vidéos haute définition).
Il y a aussi CUDA (pour du calcul sur le GPGPU), moins portable que OpenCL.
Je connais mal qemu.
J'aurais quand même tendance à recommander un processeur AMD récent avec
une ou deux cartes graphiques AMD. En particulier parce que la société
AMD a financé, plus que Nvidia, le développement du noyau Linux et du
serveur X11/Xorg (or Wayland).
Ma faible expérience (mais décennale) c'est qu'il faut choisir des
cartes graphiques qui sont parues il y a six mois au moins.
Instinctivement je me méfierais de carte graphique qui viennent
d'apparaître sur le marché.
Les fournisseurs professionnels peuvent (mais ça se paie) garantir la
compatibilité avec Linux.
Et des vendeurs comme https://www.pcw.fr/ vendent du matériel qui
fonctionne sous Linux. Il me semble que https://materiel.net/ a aussi
une expertise sur le sujet.
Prenez aussi en compte la mise à jour du BIOS/UEFI.
Bon courage dans votre choix.
Soyez gentils de faire un retour (avec le choix du matériel, la sortie
de lscpu, lspci, ...) sur Debian User French concernant le matériel que
vous avez retenu et sa compatibilité avec une Debian (probablement Testing).
Cordialement
--
Basile Starynkevitch
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
See/voir:https://github.com/RefPerSys/RefPerSys
Re: Firefox et PDF
On 3/6/24 12:38, ajh-valmer wrote: On Tuesday 05 March 2024 16:50:44 Thierry wrote: depuis la mise à jour dans la version 115.8.0esr (testing), je reçois le message suivant à l'ouverture d'un PDF: "Votre navigateur ne comprend pas de plugin de lecture de PDF" Quelqu'un a t'il rencontré ce problème? (pas très gênant par ailleurs puisqu'il suffit de télécharger le PDF pour le lire) Désolé, je ne réponds pas au problème, mais je constate que la version 115.8.0-esr Firefox, marche mal, elle ne sait pas envoyer des formulaires, ni faire apparaître des images, se bloque à un moment (ça mouline), il faut le stopper et le ré-ouvrir... Alors que Chrome n'a pas du tout ces défauts horripilants. J'estime que Firefox est buggé. Personnellement je n'ai aucun problème avec cette version (sur Debian/Testing/x86-64). Elle fonctionne correctement et affiche bien des PDF (obtenus avec LaTeX) Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: utilisation de nis et nfs pour un réseau de 32 postes
On 2/23/24 12:02, Erwann Le Bras wrote: Bonjour Peut-être faire des essais avec SSHFS? le $HOME des utilisateurs serait monté sur chaque client au boot. Mais je ne sais pas si c'est plus efficace que NFS. J'aurais tendance à imaginer que c'est moins efficace que NFS, qui est de toute façon lent (car Ethernet est beaucoup plus lent que par exemple une liaison SATA à un disque local, même rotatif). NFS (à l'époque lointaine où je l'avais utilisé) ne crypte pas les données. SSHFS semble les crypter. Autrefois (avant 2000) j'avais même utilisé des Sun4/110 dont le swap était une partition NFS distante. Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
compatibilité matérielle Debian Testing Asus PRIME B650-Plus + AMD Ryzen 7 8700G + Corsaire VEgeance Black 2x16Go DDR5 5200MHz CL40
Bonsoir, Est ce ia carte mère et le processeur susdits sont compatible Debian Testing? En particulier pour faire tourner un serveur Xorg et Gimp. Je m'interroge sur la compatibilité de la carte mère avec le coprocesseur graphique du AMD Ryzen 7 8700G. (l'usage principal étant le traitement d'images numériques, notamment avec Gimp et Inkscape; accessoirement la compilation par GCC) Pour ceux qui connaissent materiel.net les composants qu'on souhaite assembler sont listés en https://materiel.net/s/5CKV6K et vos critiques constructives sont bienvenues (pour un usage professionnel pour un photographe professionnel) Merci NB. Je me réjouis de l'arrêt de la Cour de Cassation https://www.courdecassation.fr/decision/65cdbcdf2425a70008258563?search_api_fulltext=licence%20GPL=Rechercher_du=_au=_juridiction=all===0=1 <https://www.courdecassation.fr/decision/65cdbcdf2425a70008258563?search_api_fulltext=licence%20GPL=Rechercher_du=_au=_juridiction=all===0=1> en faveur la la licence GPL, qui est celle utilisée dans le moteur d'inference RefPerSys dont le code source est en https://github.com/RefPerSys/RefPerSys -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: utilisation de nis et nfs pour un réseau de 32 postes
On 2/20/24 08:34, olivier wrote: Bonjour, J'ai un réseau totalement avec débian 11 (que je compte mettre à jour avec la version 12), constitué d'un serveur avec deux cartes réseau, l'une reliée à l’extérieur par la fibre (DHCP) et l'autre carte (Adresse IP fixe 192.168.200.0) reliée à un switch. Ce switch est relié à 32 postes (avec IP fixe de 192.168.200.10 à 192.168.200.50, adresse de la passerelle 192.168.200.0, masque de sous réseau 255.255.255.0). Les 32 postes sont utilisés par une classe d'élèves. J'ai 200 élèves à gérer, donc 200 profil différent. Pour que chaque poste accède à internet, j'ai fais iptables -t nat -A POSTROUTING -o eth0 -j MASQUERADE Est ce judicieux ? J'ai essayé avec NIS avec debian 11, l'authentification à l'air de bien fonctionner. Pour l'authentification, NIS est il bien adapté pour ce genre de configuration ? A l'époque déjà lointaine où j'étais sysadmin occasionnel (au CEA) NIS fonctionnait bien. C'était avant 2000, sur des stations Sun. Par contre (et pour avoir enseigné plus récemment Linux à l'IUT d'Orsay) je m'interroge sur la pertinence de mettre (en 2024) le /home sur NFS. Ça a un inconvenient colossal en 2024: NFS est plus lent que l'accès au disque local de chaque poste. Si on compile des sources sur un serveur NFS avec le fichier objet sur un serveur NFS (le même), si on lance un exécutable ELF sur un serveur NFS, c'est nettement plus lent. Ca dépend de quels genres d'enseignements il s'agit. S'il s'agit d'enseigner à des débutants complets la programmation avec un langage compilé (C, C++, Ada, Fortran, Ocaml) j'aurais tendance à : * décider avec les autres enseignants si les étudiants peuvent avoir accès (ou non) aux fichiers de leurs camarades. A mon avis c'est très utile (pour l'entraide, la détection du plagiat, ...). * expliquer aux étudiants ce qu'est NFS et un serveur de fichiers. * Ne pas monter NFS le /home mais un autre répertoire, par exemple /UnivMontp3et annoncer aux étudiants que le /home n'est pas sauvegardé! * expliquer aux étudiants ce qu'est un versionneur de fichiers; leur recommander (voir imposer) l'utilisation de git: https://git-scm.com/ * installer un service git sur le serveur. * expliquer à tous les étudiants leurs droits et devoirs (comme étudiants). Par exemple, ceux (et ils sont nombreux) qui ont un ordinateur portable personnel (à eux, pas payé par l'université), ont-ils le droit de l'utiliser en TP? de le connecter au réseau? d'y installer Linux? d'accéder le serveur de l'université depuis la salle de cours ou de leur chambre d'étudiant? d'imprimer sur l'imprimante de la classe leurs fichiers source (ou d'autres)? Par contre au niveau de l'export (NFS), cela rame un peu (je me rend compte que j'exporte l'ensemble du home serveur sur tous les clients et non celui uniquement de l'utilisateur). Comment faire pour exporter sur la machine cliente uniquement le profil de l'utilisateur et non tous les utilisateurs ? Ca doit être possible par une configuration de PAM. https://fr.wikipedia.org/wiki/Pluggable_Authentication_Modules mais j'ignore les détails! Il y a probablement des universités qui peut-être utilisent rsync à la connection de l'étudiant pour recopier sur le disque local des fichiers depuis le serveur. Sur le serveur, j'ai mis à la fin dans le fichier /etc/exports /home/NFS_Partage 192.168.200.1/24(rw,sync,no_subtree_check) mais j'hésite avec /home/NFS_Partage 192.168.0.0/24(rw,all_squash,anonuid=1000,anongid=1000,sync,no_subtree_check) Sur le client, j'ai mis à la fin dans le fichier fstab DomaineNFS:/home/NFS_Partage /home nfs defaults 0 0 On m'a parlé de LDAP, mais je ne sais pas trop comment m'y prendre. Est il préférable d'utiliser LDAP ou NIS pour l'authentification ? Existe il un petit manuel simple pour créer 200 utilisateurs. La création de 200 utilisateurs est probablement faisable en GNU bash ou Python ou Ocaml ou C++ en quelques dizaines de lignes. Mon réseau fonctionne, mais rame beaucoup au delà de 4 utilisateurs ? et je n'arrive pas à trouver une solution. A mon avis, NIS pour chaque accès aux fichiers de l'étudiant va ramer énormément! Pourquoi pas un /home local à la machine pour l'étudiant, qui serait par exemple recopié depuis le serveur NFS au login, et recopié (par rsync) vers le serveur NFS puis effacé (localement) au logout? Variante: l'étudiant liste sur son $HOME/.mes-depots-git (ou dans une carte NIS maison?) tous les répertoires git à cloner au login. A l'IUT d'Orsay il y avait même un applicatif sur le PC de l'enseignant qui permettait d'éteindre simultanément tous les PCs (de l'université) dans la salle de TP utilisés par les étudiants. Un grand merci pour votre aide. Espérant avoir un peu aidé! Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile
Re: Comment remplacer l'utilisateur root pour utiliser le service cron ?
On 2/18/24 09:26, Pierre Malard wrote: Bonjour, Même question, tout ça sert-il à quoi que ce soit ? Même si on interdit la connexion directe sous « root », ce qui peut se concevoir, il n’empêche que certaines commande doivent être lancées avec ces droits. su coup, pour modifier le crontab root, rien n’empêche d’utiliser un sudo pour prendre ponctuellement ces droits pour modifier le crontab root. Tout à fait d'accord. Dans le même sujet si une tâche n’a pas besoin des droits root rien n’empêche d’utiliser un crontab « utilisateur » ! D'accord aussi. Enfin, si on souhaite mieux gérer tout ça on peut utiliser /etc/cron.d où on indique l’utilisateur à utiliser pour lancer la commande souhaitée… mais il faut avoir les droits « root » pour créer cette entrée ;-) Et j'ajouterais la mention du paquet Debian super. https://packages.debian.org/trixie/super paramétrable finement par /etc/super.tab -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
paquets Debian avec information de deboguage?
Bonjour la liste Sur mon ordinateur de bureau à la maison je tourne Debian. J'ai la chance d'avoir un processeur AMD Ryzen Threadripper 2970WX 24-Core Processor, 64Go de RAM, double écran et des téraoctets de disque. Avec de la place sur certaines partitions. root@rimski:/# cat /etc/apt/sources.list #deb cdrom:[Debian GNU/Linux testing _Trixie_ - Official Snapshot amd64 NETINST with firmware 20240105-21:01]/ trixie main non-free-firmware deb http://ftp.lip6.fr/pub/linux/distributions/debian/ trixie main non-free-firmware debian-debug deb-src http://ftp.lip6.fr/pub/linux/distributions/debian/ trixie main non-free-firmware deb http://security.debian.org/debian-security trixie-security main non-free-firmware deb-src http://security.debian.org/debian-security trixie-security main non-free-firmware # trixie-updates, to get updates before a point release is made; # see https://www.debian.org/doc/manuals/debian-reference/ch02.en.html#_updates_and_backports deb http://ftp.lip6.fr/pub/linux/distributions/debian/ trixie-updates main non-free-firmware deb-src http://ftp.lip6.fr/pub/linux/distributions/debian/ trixie-updates main non-free-firmware # This system was installed using small removable media # (e.g. netinst, live or single CD). The matching "deb cdrom" # entries were disabled at the end of the installation process. # For information about how to configure apt package sources, # see the sources.list(5) manual. Je cherche à déboguer un petit utilitaire (en GPLv3+) https://github.com/bstarynk/misc-basile/blob/master/gtk4serv.c qui devrait devenir un serveur de widgets GTK4, qui construirait une interface décrite par un fichier pour GtkBuilder et communiquerait avec une application cliente (le serveur moteur d'inférences RefPerSys, en GPLv3+ lui aussi, en https://github.com/RefPerSys/RefPerSys/ et également en cours de mise au point ...) Une fois que gtk4serv serait au point je rêve même d'en faire un paquet Debian. Une fois que RefPerSys serait au point (peut-être en 2025?) je pense aussi à le packager pour Debian. Mais j'y ai des bogues évidemment dans gtk4serv. Les bogues sont liés à ma mauvaise compréhension des libraries GTK4 et apparentées (dont Glib). Il me serait très utile d'avoir la libgtk4 et les bibliothèques Glib correspondantes avec des informations DWARF de déboguage utilisable par gdb! Comment faire en pratique? Merci -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: Erreur nvidia suite upgrade noyau 6.6.18
On 2/11/24 11:43, Michel Verdier wrote: Le 10 février 2024 ajh-valmer a écrit : Je ne peux donc pas augmenter la résolution avec ce pilote "Nouveau". On dirait que c'est le pilote "Vesa" qui a pris la main, pas "Nouveau"... As-tu regardé dans les log ? Le pilote utilisé est indiqué clairement Il me semble que le fichier à regarder serait très probablement /var/log/Xorg.0.log (après un démarrage infructueux du serveur d'affichage X11 ie Xorg) Le serveur Xorg peut aussi être démarré par la commande /usr/bin/startx Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: Erreur nvidia suite upgrade noyau 6.6.18
On 2/11/24 08:54, Basile Starynkevitch wrote (citant un autre message peut-être de ajh-valmer) Devrais-je être obligé d'acheter une nouvelle carte vidéo plus récente ? Nvidia a mauvaise réputation dans le monde Linux (sur PC portable ou fixe). On peut googler "fuck nvidia". Si vous achetez une nouvelle carte, considérez plutôt une carte AMD/ATI car AMD a payé des développeurs de pilotes libres pour Linux, et je crois que Nvidia (l'entreprise) est réticent à aider même le projet Nouveau (qui travaille par rétro-ingénierie). Et définissez d'abord votre besoin. En particulier avez vous besoin de faire du calcul hybride (OpenCL/OpenACC) sur la carte graphique, ou bien juste d'afficher correctement du texte et regarder des vidéos à une résolution pas trop élevée. Il faut aussi savoir si vous avez un ou plusieurs écrans. Personnellement, avec deux écrans, je mets plusieurs jours à les configurer correctement. Sur un ordinateur fixe avec deux cartes graphiques AMD. root@rimski:/# lspci|grep VGA 0b:00.0 VGA compatible controller: Advanced Micro Devices, Inc. [AMD/ATI] Ellesmere [Radeon RX 470/480/570/570X/580/580X/590] (rev ef) 42:00.0 VGA compatible controller: Advanced Micro Devices, Inc. [AMD/ATI] Barts PRO [Radeon HD 6850] J'utilise nvidia uniquement sur un ordinateur portable (sous Ubuntu). J'ajouterais que dans mon expérience linuxienne il est préférable, si on a le choix, d'acheter un contrôleur graphique pas trop récent dans sa conception. Mon heuristique est de choisir un modèle de carte qui est vendu depuis plusieurs mois, et de poser explicitement la question au vendeur de son support sous Linux Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir:https://github.com/RefPerSys/RefPerSys
Re: Erreur nvidia suite upgrade noyau 6.6.18
On 2/10/24 15:10, ajh-valmer wrote: On Friday 09 February 2024 18:47:09 ajh-valmer wrote: On Tuesday 06 February 2024 12:50:21 Fabien Dubois wrote: apt upgrade : c'est le module Nvidia qui empêche l'installation du noyau 6.6.18. Mon pilote Nvidia 470 est celui pêché sur le dépôt free de Debian. Je n'ai jamais réussi à installer un pilote "nouveau". Il existe pourtant un paquet (sur Debian/Sid) i A xserver-xorg-video-nouveau - X.Org X server -- Nouveau display driver J'ai donc fait un test sur une sauvegarde sous Bookworm, en purgeant nvidia. Cette fois l'upgrade se fait bien avec le noyau 6.6.18. J'ai tenté de réinstaller le pilote Nvidia 470, niet idem. Par contre, j'ai le mode graphique mais qu'en mode 1024X768 max (trop faible). Je désire maintenant un howto pour installer le pilote "nouveau". Cette commande ci-dessous m'affiche une erreur : dpkg --configure -a|--pending Je n'ai plus la commande nvidia-detect. https://wiki.debian.org/fr/NvidiaGraphicsDrivers https://forums.debian.net/viewtopic.php?t=16 https://debian-facile.org/doc:materiel:cartes-graphique:nvidia:accueil : ne m'aident pas du tout. Bonjour, Dommage que personne sur la liste ne puisse m'aider pour installer le pilote graphique "Nouveau" et qu'il soit fonctionnel. Devrais-je être obligé d'acheter une nouvelle carte vidéo plus récente ? Nvidia a mauvaise réputation dans le monde Linux (sur PC portable ou fixe). On peut googler "fuck nvidia". Si vous achetez une nouvelle carte, considérez plutôt une carte AMD/ATI car AMD a payé des développeurs de pilotes libres pour Linux, et je crois que Nvidia (l'entreprise) est réticent à aider même le projet Nouveau (qui travaille par rétro-ingénierie). Et définissez d'abord votre besoin. En particulier avez vous besoin de faire du calcul hybride (OpenCL/OpenACC) sur la carte graphique, ou bien juste d'afficher correctement du texte et regarder des vidéos à une résolution pas trop élevée. Il faut aussi savoir si vous avez un ou plusieurs écrans. Personnellement, avec deux écrans, je mets plusieurs jours à les configurer correctement. Sur un ordinateur fixe avec deux cartes graphiques AMD. root@rimski:/# lspci|grep VGA 0b:00.0 VGA compatible controller: Advanced Micro Devices, Inc. [AMD/ATI] Ellesmere [Radeon RX 470/480/570/570X/580/580X/590] (rev ef) 42:00.0 VGA compatible controller: Advanced Micro Devices, Inc. [AMD/ATI] Barts PRO [Radeon HD 6850] J'utilise nvidia uniquement sur un ordinateur portable (sous Ubuntu). Bonne chance en tout cas. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
cherche exemple de code GtkMM4 (C++) pour ajouter des options à une application GtkMM-4 graphique (libre) add_main_option_entry
Bonjour la liste,
GTK4 interface to RefPerSys inference engine. Contribute to
RefPerSys/gtk4gui-refpersys development by creating an account on GitHub.
github.com
GitHub - RefPerSys/gtk4gui-refpersys: GTK4 interface to RefPerSys
inference engine <#>
GTK4 interface to RefPerSys inference engine. Contribute to
RefPerSys/gtk4gui-refpersys development by creating an account on GitHub.
https://github.com/RefPerSys/gtk4gui-refpersys
<https://github.com/RefPerSys/gtk4gui-refpersys>
est l'embryon d'un logiciel libre (sous licence MIT, je vais peut-être
plus tard la remplacer par la licence CeCILL ou GPLv3+) d'interface
graphique pour le moteur d'inférences RefPerSys, lui-même en cours de
développement en
Reflexive & Persistent System (artificial intelligence) - GitHub -
RefPerSys/RefPerSys: Reflexive & Persistent System (artificial
intelligence)
github.com
GitHub - RefPerSys/RefPerSys: Reflexive & Persistent System (artificial
intelligence) <#>
Reflexive & Persistent System (artificial intelligence) - GitHub -
RefPerSys/RefPerSys: Reflexive & Persistent System (artificial intelligence)
https://github.com/RefPerSys/RefPerSys
<https://github.com/RefPerSys/RefPerSys>
pour Linux et sous licence GPLv3+ (ou la CeCILL équivalente).
ce gtk4gui-refpersys contient le code suivant:
// file RefPerSys/gtk4gui-refpersys/mainrps_gtk.cc
// SPDX-License-Identifier: MIT
/**
* © Copyright 2023 - 2024 Basile STARYNKEVITCH and Abishek CHAKRAVARTI
*
* A GTK4mm toolkit graphical interface (see fox-toolkit.org)
* to the RefPerSys open source (GPLv3+ licensed) inference engine
*
* see gnome.pages.gitlab.gnome.org/gtkmm-documentation/
*
* See refpersys.org and code on https://github.com/RefPerSys/
*
**/
#include "gtkrps.hh"
#include "gtkmm/version.h"
const char*gtkrps_progname;
const char gtkrps_git_id[] = GIT_ID;
const char gtkrps_shortgit_id[] = SHORTGIT_ID;
const char gtkrps_buildhost[]= GTKRPS_HOST;
const char gtkrps_arch[] = GTKRPS_ARCH;
const char gtkrps_opersys[] = GTKRPS_OPERSYS;
const char gtkrps_timestamp[] = __DATE__ "@" __TIME__;
extern "C" const char guirefpersys_ui[];
char gtkrps_myhostname[80];
void* gtkrps_dlhandle;
bool gtkrps_stderr_istty;
static void
gtkrps_show_version(void)
{
printf("%s version information\n", gtkrps_progname);
printf("\t full git %s\n", gtkrps_git_id);
printf("\t short git %s\n", gtkrps_shortgit_id);
printf("\t build host %s\n", gtkrps_buildhost);
printf("\t arch: %s\n", gtkrps_arch);
printf("\t OS: %s\n", gtkrps_opersys);
printf("\t built: %s\n", gtkrps_timestamp);
/// for some reason, don't work!
#if 0 && bad
printf("\t GTKmm version: %d.%d.%d\n",
gtkmm_major_version, gtkmm_minor_version, gtkmm_micro_version);
#endif
} // end gtkrps_show_version
void
gtkrps_fatal_stop_at(const char*fil, int lin)
{
fprintf(stderr, "%s FATAL STOP (%s:%d) pid %d shortgit %s\n",
gtkrps_progname,
fil, lin,
(int)getpid(), gtkrps_shortgit_id);
abort();
} // end gtkrps_fatal_stop_at
extern "C" const char gtkrpsui_guirefpersys[];
Glib::RefPtr gtkrps_app;
Gtk::Window*gtkrps_mainwin;
int
main(int argc, char**argv)
{
assert(argc>0);
gtkrps_progname = argv[0];
gtkrps_dlhandle = dlopen(nullptr, RTLD_NOW| RTLD_GLOBAL);
if (!gtkrps_dlhandle)
GTKRPS_FATALOUT("failed to dlopen main program: " << dlerror());
gtkrps_stderr_istty = isatty(STDERR_FILENO);
memset (gtkrps_myhostname, 0, sizeof(gtkrps_myhostname));
gethostname(gtkrps_myhostname, sizeof(gtkrps_myhostname)-4);
if (argc > 1 && !strcmp(argv[1], "--version"))
{
gtkrps_show_version();
exit (EXIT_SUCCESS);
};
gtkrps_app = Gtk::Application::create ("org.refpersys.gtk4gui");
#warning help needed here to parse program arguments
*#if 0 && badcode
///=*
gtkrps_app->add_main_option_entry(Gtk::OPTION_TYPE_BOOL,
"version", 'V',
("Print
version"), "");
gtkrps_app->add_main_option_entry(Gtk::Application::OPTION_TYPE_STRING,
"fifo-prefix", 'F',
("set the prefix of FIFO used for
communication"),
"");
#endif
Glib::ustring builder_str(gtkrpsui_guirefpersys);
auto builder = Gtk::Builder::create_from_string(builder_str);
gtkrps_app->signal_activate().connect([&] ()
{
gtkrps_mainwin = builder->get_widget("app_window");
gtkrps_app->add_window(*gtkrps_mainwin);
gtkrps_mainwin->show();
});
return
GNU lightning dans Debian/sid/x86-64
Bonsoir la liste
GNU lightning est une bibliothèque sympa pour générer du code
("machine") rapidement. https://www.gnu.org/software/lightning/
J'ai l'impression que dans Debian/trixie/sid/x86-64 ce paquet a disparu.
J'ai pu sans probleme compiler le GNU lightning récent -
rimski.x86_64 src/Libs/lightning 18:08 .0 % cat lightning.pc
prefix=/usr/local
exec_prefix=${prefix}
libdir=${exec_prefix}/lib
includedir=${prefix}/include
Name: GNU Lightning
Description: JIT library
Version: 2.2.2
Libs: -L${libdir} -llightning
Cflags: -I${includedir}/
mais j'ai l'impression que le paquet a disparu de Debian. Par exemple il
n'y a plus de liblightning.a sous /usr/lib ou /usr/lib/x86_64-linux-gnu/
Pourquoi GNU lightning n'est plus packagé dans Debian?
Merci de vos éclaircissements
--
Basile Starynkevitch
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
See/voir: https://github.com/RefPerSys/RefPerSys
Re: [resolu]: firefox et avira
On 2/3/24 18:50, Th.A.C wrote: Le 03/02/2024 à 18:04, Kohler Gerard a écrit : en fait il y avais une palanquée de cookies plus ou moins camouflés, j'ai tout effacé, on verra bien, c'est terrible qu'un soit disant antivirus se permette d'installer des cookies sans avertir alors que l'on est pas allé sur le site Heu, un cookie, c'est pas actif, ce n'est qu'un bête fichier texte, ca ne peut pas déclencher un message sans un programme associé. Et a priori, une extension ne peut pas s'installer dans Firefox sans ton accord explicite. Une autre possibilité est d'utiliser un navigateur sans support de Javascript (ou de Webassembly), donc sans exécution de code (Turing complet) dans le navigateur. Un tel navigateur existe sous Debian. Par exemple dillo. Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: Effacement réel de fichiers
On 2/2/24 21:32, kaliderus wrote: Bonjour, bonsoir chers Debianeux, Connaissez-vous un outil qui permette de mettre des 0 (ou des 1 ou n'importe quoi aléatoirement) partout là où un fichier n'est plus référencé dans le système de fichiers (du ext4 dans mon cas) ? En effet, mon idée est d'avoir une confidentialité maximale (avec les moyens qui sont les miens), donc un effacement total de chaque bit des fichiers qui ont été supprimés (typiquement pour pas que par exemple photorec puisse retrouver quoi que ce soit). Le disque de données est un SSD. J'ai beau googler le sujet depuis quelques jours je ne trouve rien, ou alors je n'ai pas les bons mots clés, snif... Merci par avance pour votre aimable collaboration. La question est aussi de qui on se méfie: c'est différent si on vend l'ordinateur à un gamin qui va jouer avec ou si on veut éviter des services secrets hostiles. J'ai travaillé au CEA. Cf https://www.cea.fr/ (les dernières années, sur du logiciel libre). Pour des données confidentielles-défense la règle était de casser le disque au marteau. A l'époque c'était des disques durs rotatifs, mais j'imagine qu'un coup de marteau sur un SSD est suffisant. Attention aux éclats (porter des lunettes). Pour des données encore plus confidentielles, je crois qu'il faut en plus un four (ou un chalumeau). En général un disque SSD coûte bien moins cher que l'ordinateur l'abritant, donc je suggère le marteau. En pratique, on pourrait aussi effacer et reformatter la partition entière. (et peut-être sauvegarder sur un autre disque les fichiers à préserver par un tar ou dar ou afio). La supposant être /dev/sdp2 donc: démontage par umount /dev/sdp2 effacement par dd if=/dev/zero of=/dev/sdp2 bs=64k oflags=sync status=progress reformattage de la partition par exemple avec mkfs. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: Script BASH gestion des espaces des noms de fichier
On 2/2/24 08:41, Informatique BILLARD wrote: Bonjour j'ai écrit un petit script qui lance à la fin cette commande : pdftk $fichier1 stamp $tampon output $fichier2 avec $fichier1 et $tampon, $fichier2 sont construit à partir des paramètres fournis au script . Mais je rencontre un problème quand il y a un espace dans le nom de fichier ou le répertoire pour pdftk ces espaces engendrent une erreur. J'ai pourtant placé l’antislash avant mes espace dans l'affectation des variables. tampon=/user/Document/cachet*\ *pdf Une solution simple c'est de s'interdire les espaces dans les noms de fichiers. Pourquoi ne pas coder par exemple tampon=/user/Document/cachet.pdf et ensuite lancer votre script avec /bin/bash -vx lescriptbash Merci par avance François-Marie -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: bibliothèque libre C ou C++ Debian compatible pour JSON5 ou HJSON
On 2/1/24 09:32, didier gaumet wrote:
Bonjour,
je ne sais pas si tu y trouveras ce que tu cherches (je n'ai pas
vérifié chaque solution) mais le site officiel Json propose une liste
de bibliothèques et utilitaires par langage (dont C et C++) en bas de
page:
https://www.json.org
Ça je connais et j'utilise déjà dans le moteur d'inférences libre
http://refpersys.org/ la bibliothèque jsoncpp (et j'ai aussi regardé
jansson). C'est pour JSON, pas JSON5 ou HJSON.
JSON5 est une extension de JSON (définie en https://spec.json5.org/ ...)
qui est un peu moins verbeuse. Par exemple la ligne suivante est valide
en JSON5 pas en JSON strict:
{ codage: utf8, chaine: "abcd\nef", longueur: 6, }
En JSON strict on a le droit de coder seulement
{ "codage": "utf8", "chaine": "abcd\nef", "longueur": 6 }
et donc pour des données de l'ordre de la centaine de kilooctets ça fait
une différence de taille. En plus JSON5 est plus lisible par un humain
et accepte des commentaires.
Et HJSON est une spécification similaire, définie en
https://hjson.github.io/ - permettant des chaines de caractères multilignes.
Actuellement (ce 1er fevrier 2024)
https://github.com/RefPerSys/RefPerSys/ (un moteur d'inférences libre,
pour lequel je cherche des collaborations futures, peut-être un
consortium ITEA or HorizonEurope ou ANR) ne compile même pas. Je suis en
train de réécrire son GNUmakefile en utilisant remake.
L'idée serait dans ce moteur d'inférences RefPerSys (voir
http://refpersys.org/ - "REFlexive PERsistent SYStem") de persister son
état dans des chaines litérales enormes dans des gros fichiers C++
générés par le moteur RefPerSys lui-même.
Voir les vidéos (en 2020) dans
https://afia.asso.fr/journee-hommage-j-pitrat/
Librement
--
Basile Starynkevitch
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
See/voir: https://github.com/RefPerSys/RefPerSys
bibliothèque libre C ou C++ Debian compatible pour JSON5 ou HJSON
Bonjour la liste Pour le moteur d'inférences RefPerSys (voir http://refpersys.org/ ) je cherche une bibliothèque libre (sous licence GPLv3+ ou LGPLv2+ ou compatible au moins avec la licence CeCILL) qui peut encoder et décoder des fichiers et des chaînes de caractères (encodées UTF-8) au format JSON5 (voir https://json5.org/ ...) ou HJSON (voir https://hjson.github.io/ ou j'ai trouvé https://github.com/hjson/hjson-cpp/releases ...) Avez vous une telle bibliothèque à me suggérer? (je cherche aussi des contributeurs, ou des possibilités de faire un exposé dans la suite de ceux faits en 2020 en https://afia.asso.fr/journee-hommage-j-pitrat/ ...) Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See/voir: https://github.com/RefPerSys/RefPerSys
Re: exemple en GNU bash de variable tableau
On 1/29/24 16:48, Michel Verdier wrote: Le 29 janvier 2024 Basile Starynkevitch a écrit : J'essaie de collecter dans une variable tableau de bash files_to_remove les fichiers temporaires (qu'il faudrait suprimer à la fin de cez script). Pourquoi un tableau ? Une simple liste ne suffit pas ? Bien sûr que si, pour le script https://github.com/RefPerSys/RefPerSys/blob/master/do-configure-refpersys.bash (le script de configuration du moteur d'inférences libre RefPerSys en http://refpersys.org/ ) *Une liste simplement chainée mais _mutable_ conviendrait tout à fait.* La question plus technique devient: *comment implémente-t-on* (en quelques lignes de GNU bash sous Linux) *une telle liste simplement chainée*. Pour rappel: C++ a des listes simplement chainées (pour les détails consulter https://en.cppreference.com/w/cpp/container/list ...) et Ocaml a des listes simplement chainées (pour les détails consulter https://v2.ocaml.org/api/List.html ) et Guile ou Scheme a des listes simplement chainées (voir la section 6.3.2 du R5RS <https://conservatory.scheme.org/schemers/Documents/Standards/R5RS/HTML/>) Un exemple en GNU bash (testable sous Linux) de liste simplement chainée me convient. L'exemple https://www.unix.com/shell-programming-and-scripting/271790-implementing-linked-list-shell-scripting.html me parait trop long. Je souhaite un exemple bien plus simple, ou bien la suggestion de passer de GNU bash à autre chose (je songe peut-être à Python, que je ne connais guère). Pour les aspects "philosophiques" de RefPerSys n'hésitez pas à consulter https://afia.asso.fr/journee-hommage-j-pitrat/ Pour un brouillon de papier en anglais (ou même un brouillon très incomplet en français), me contacter par courriel Librement. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ Seehttps://github.com/RefPerSys/RefPerSys
exemple en GNU bash de variable tableau
Bonjour la liste Dans https://github.com/RefPerSys/RefPerSys (un projet de moteur d'inférences sous licence GPLv3+ pour Debian) j'essaie de coder un script en bash de configuration (simple). Voir le commit bfb1314 du fichier do-configure-refpersys.bash (les commentaires sont en mauvais englais) J'essaie de collecter dans une variable tableau de bash files_to_remove les fichiers temporaires (qu'il faudrait suprimer à la fin de cez script). Je n'arrive pas à comprendre la syntaxe des variables tableau en GNU bash. Pour info, mon ordinateur est x86-64 sous Debian/Trixie mis à jour ce matin. Avec GNU bash, version 5.2.21(1)-release (x86_64-pc-linux-gnu) Merci de vos eclairages, ou bien d'un exemple (moins de cent lignes de GNU bash) qui utilise une variable tableau en y ajouter (dans une itération) des éléments (ici des noms de fichiers à supprimer plus tard) Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See https://github.com/RefPerSys/RefPerSys
Re: interroger programmatiquement le chemin de chargement dynamique (dlopen) par défaut?
Je me suis mal exprimé. Je cherche pour la phase de compilation (donc dans le GNUmakefile ) le chemin par défaut du chargement dynamique. Celui-ci est passé par l'argument -rpath à la compilation (édition des liens) de l'exécutable. Concretement, il contiendrait la valeur par défaut de ce -rpath. Librement On 1/26/24 19:32, Lamourec Alain wrote: Non finalement un which ld.so donne bien /usr/bin/ld.so Lamourec Alain writes: Bonsoir peut être à partir de ldd ? Basile Starynkevitch writes: Bonjour la liste, Pour les systèmes Debian ou proches (par exemple Ubuntu ou Linux Mint) comment interroger programmatiquement (dans un shell script ou un programme en C) le chemin par défaut du chargeur dynamique ld.so (lequel est modifiable par un LD_LIBRARY_PATH explicite éventuel). Ca me serait utile pour le moteur d'inférences libre que je développe (en GPLv3+) RefPerSys en https://github.com/RefPerSys/RefPerSys/ qui génère du code à la volée (génération de code C++ compilé en un greffon puis dlopen-é et dlsym-é, ou de code machine via GNU lightning). Actuellement je n'ai que des ordinateurs Debian (ou Ubuntu) en x86-64 à ma disposition. Mais j'essaie de coder quelque chose qui puisse se porter facilement à une autre architecture 64 bits supportant Debian. Je n'ai aucun LD_LIBRARY_PATH explicite. Mon /etc/ld.so.conf contient (je l'ai ajouté à la main) /usr/local/lib/ après le include /etc/ld.so.conf.d/*.conf Car GNU lightning a été compilé à la main donc avec préfixe /usr/local/ Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See https://github.com/RefPerSys/RefPerSys
interroger programmatiquement le chemin de chargement dynamique (dlopen) par défaut?
Bonjour la liste, Pour les systèmes Debian ou proches (par exemple Ubuntu ou Linux Mint) comment interroger programmatiquement (dans un shell script ou un programme en C) le chemin par défaut du chargeur dynamique ld.so (lequel est modifiable par un LD_LIBRARY_PATH explicite éventuel). Ca me serait utile pour le moteur d'inférences libre que je développe (en GPLv3+) RefPerSys en https://github.com/RefPerSys/RefPerSys/ qui génère du code à la volée (génération de code C++ compilé en un greffon puis dlopen-é et dlsym-é, ou de code machine via GNU lightning). Actuellement je n'ai que des ordinateurs Debian (ou Ubuntu) en x86-64 à ma disposition. Mais j'essaie de coder quelque chose qui puisse se porter facilement à une autre architecture 64 bits supportant Debian. Je n'ai aucun LD_LIBRARY_PATH explicite. Mon /etc/ld.so.conf contient (je l'ai ajouté à la main) /usr/local/lib/ après le include /etc/ld.so.conf.d/*.conf Car GNU lightning a été compilé à la main donc avec préfixe /usr/local/ Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See https://github.com/RefPerSys/RefPerSys
Re: à quoi sert ibus ?
On 1/25/24 20:13, Étienne Mollier wrote: Bonjour, Daniel Caillibaud, on 2024-01-25: Depuis peu une appli perd le clavier (alors que ça fonctionne très bien dans toutes les autres fenêtres). J'ai retrouvé le bug dans leur bugtracker, en attendant que ce soit réglé ils suggèrent de lancer en console `ibus restart` ce qui règle effectivement le pb, temporairement (faut le refaire régulièrement, après 10min ou 2h ça dépend). fermer ibus règle le pb sans en créer d'autre pour le moment. J'utilise gdm3/cinnamon, et ibus est simplement suggéré par gnome-shell qui est une dépendance de gdm3. Je l'ai donc viré, et je me demandais pourquoi il était suggéré, quel intérêt à l'ajouter ? Au vue du point d'entrée du wiki ibus[1], il s'agit d'un outil facilitant la saisie de caractères unicode arbitraires. Les captures d'écran suggèrent qu'ibus est notemment très utilisé pour la saisie d'idéogrammes. [1]: https://github.com/ibus/ibus/wiki Dans les cas où (avec Debian sous X11) on souhaite insérer occasionellement un caractère UTF-8 qui n'est pas au clavier, il est possible de lancer /usr/bin/charmap (du paquet gucharmap) et de faire du copier-coller, par exemple pour ⁂ ou ∀ Et GNU emacs peut aussi être utilisé (avec M-x insert-char). Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/ See https://github.com/RefPerSys/RefPerSys
Re: Exim4
Il existe sous Debian des paquets exim4 exim4-base exim4-config exim4-daemon-heavy exim4-dev exim4-doc-html eximon4 sa-exim qui pourraient aider à résoudre le problème. Et l'option -be du programme exim est peut-être pertinente. Enfin, il existe (chez OReilly) un gros livre papier sur les subtilités d'exim. Bon courage et bonne année 2024 NB. Je cherche des debianistes intéressés par https://github.com/RefPerSys/RefPerSys On 1/16/24 15:34, Zuthos Oddy wrote: Bonjour à vous, J'essaye de configurer exim4 pour envoyer des messages. Un petit mot sur l'installation: Debian - Fetchmail - Procmail - Exim4 J'essaye de mettre une authentification en place pour pouvoir envoyer des mails. j'arrive à rapatrier les Email. Malheureusement, impossible d'en envoyer. Tout finis en Frozen. ;-( Voici ce que me dit /var/log/exim4/mainlog après un envoie avec la commande mail 2024-01-16 14:30:01 1rPjVw-0005Kn-LL <= zut...@monfai.fr U=zuthos P=local S=431 2024-01-16 14:30:01 1rPjVw-0005Kn-LL ** zut...@free.fr R=smarthost T=remote_smtp_smarthost: all hosts for 'free.fr' have been failing for a long time (and retry time not reached) 2024-01-16 14:30:01 1rPjVx-0005Kr-77 <= <> R=1rPjVw-0005Kn-LL U=Debian-exim P=local S=1716 2024-01-16 14:30:01 1rPjVx-0005Kr-77 ** zut...@monfai.fr R=smarthost T=remote_smtp_smarthost: all hosts for 'monfai.fr ' have been failing for a long time (and retry time not reached) 2024-01-16 14:30:01 1rPjVx-0005Kr-77 Frozen (delivery error message) 2024-01-16 14:30:01 1rPjVw-0005Kn-LL Completed Je précise que zut...@monfai.fr à été changé mais est bien une adresse valide. Le soucis est que je comprend pas trop ce que je fais. ;-) Je ne sais donc pas trop ou regarder. Si vous aviez une piste à suivre.
Re: Recherche d'un émulateur de terminal sous Debian pour l'impression en mode "passthrough
On 1/12/24 01:51, phoebus phoebus wrote: Chers membres de la liste Debian française, Je voulais vous informer que j'ai ouvert un nouveau fil de discussion sur la liste de diffusion Debian anglaise avec le titre "Seeking a Terminal Emulator on Debian for *Passthrough Printing*". Je tiens à souligner que cela ne vise en aucun cas à dénigrer notre liste française mais plutôt à élargir mes recherches pour obtenir davantage de réponses et de perspectives sur le sujet. Il y a quelques raisons spécifiques pour lesquelles j'ai pris cette décision. Tout d'abord, cela me permettra d'atteindre un public plus large et de solliciter des opinions et des expériences différentes. De plus, cela pourrait m'aider à trouver des solutions qui pourraient être pertinentes pour les utilisateurs de Debian dans le monde entier. Je tiens à vous assurer que je continuerai à suivre et à participer à la discussion sur cette liste française car je valorise énormément vos contributions. Peut-être que du code pris dans libonion https://www.coralbits.com/libonion/ (dont une démo fait tourner un terminal Linux dans un navigateur récent, avec du JavaScript et du WebSocket) pourrait être intéressant Encore une fois, je vous remercie tous pour votre aide précieuse et je suis reconnaissant d'être membre de cette communauté formidable. Cordialement, Thierry Le vendredi 12 janvier 2024 à 01:02:09 UTC+1, phoebus phoebus a écrit : Chers membres de la liste Debian française, Je suis actuellement à la recherche d'un émulateur de terminal sous Debian qui serait en mesure de prendre en charge l'impression contrôlée par un serveur distant, également connue sous le nom d'impression en mode "passthrough". Notre besoin spécifique est de pouvoir sélectionner le périphérique d'impression via une méthode spécifique, à savoir le port COM physique ou le port COM virtuel (émulé par un périphérique USB). . J'ai effectué des recherches dans la liste des émulateurs disponibles sous Debian, mais je n'ai pas encore trouvé de solution répondant à nos besoins. Je sollicite donc votre aide et vos suggestions. J'ai essayé Tera Term (https://osdn.net/projects/ttssh2/releases/) mais il n'offre pas la fonctionnalité recherchée. Si vous avez des idées ou des recommandations pour un émulateur de terminal sous Debian capable de gérer l'impression en mode "passthrough" de manière bidirectionnelle, je serais reconnaissant de les entendre. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Plus de framebuffer/X
On 1/7/24 19:47, BERTRAND Joël wrote: Bonjour à tous et bonne année. Il m'arrive un truc étonnant sur une machine qui me sert de serveur multimedia. Cette machine est diskless et fonctionnait parfaitement jusqu'à hier (pas noté la version du noyau). Ce n'est pas une Debian, c'est une Devuan, mais les paquets et la configuration sont identique en dehors du système d'initialisation. Hier, j'ai du configurer ce qu'il fallait pour pouvoir accéder à des bluerays. Très bien, ça fonctionnait. Mais pour cela, j'ai du passer un apt dist-upgrade (qui s'est achevé sans erreur). J'aurais essayé /usr/bin/startx /usr/bin/icewm puis voir en détails (avec less) less messages dans /var/log/Xorg.0.log et la sortie de dmesg Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: [HS] LINUX ENTREPRISE
On 1/2/24 11:00, Belaïd wrote: A ne surtout pas confondre avec les anciens processeurs PPC "PowerPC" Ah bon? Pour moi c'est un jeu d'instructions et de registres similaires. (oui je sais qu'il y a eu des processeurs PowerPC en 32 bits, mais ceux vendus par IBM maintenant sont 64 bits) https://en.wikipedia.org/wiki/Power10 Ce n'est malheureusement pas une machine qu'un Debianiste seul peut se payer. Le mar. 2 janv. 2024 à 10:43, Basile Starynkevitch a écrit : Et IBM vend des serveurs PowerPC haut de gamme https://www.ibm.com/fr-fr/power sous Linux. Probablement une distribution SuSe -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: [HS] LINUX ENTREPRISE
On 1/2/24 04:37, Alex PADOLY wrote: Bonjour et bonne année 2024 à tous ! Je vais me former dans le but d'élargir mon savoir et mes compétences concernant LINUX en entreprise. En complément d'un usage quotidien de DEBIAN en poste de travail et serveur, je souhaiterais installer une distribution LINUX orientée entreprise sur un poste informatique puis sur serveur pour y faire un serveur FTP et un serveur de messagerie. ORACLE LINUX, Red Hat Enterprise Linux, ou autres, que me conseillez-vous ? Debian fonctionne sur serveur. (de mémoire, ceux de l'INRIA utilisent Debian depuis longtemps) Et IBM vend des serveurs PowerPC haut de gamme https://www.ibm.com/fr-fr/power sous Linux. Probablement une distribution SuSe Enfin, il faut rappeler à tous que Linux est le système d'exploitation fourni sur tous les supercalculateurs de la planète (y compris au CEA https://www.cea.fr/ mon ex-employeur, mais aussi à MéteoFrance). J'ignore quelle version. Merci pour vos conseils. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Connexion réseau impossible pour certains logiciels
On 12/29/23 13:44, yamo' wrote: Salut, benoit a tapoté le 21/12/2023 13:30: J’ai réinstallé mon système et les logiciels tels que evolution, libreoffice, firefox-esr, ne parviennent pas à se connecter à internet. Peut-être est-ce lié à AppArmor ou SELinux? Tu peux jeter un oeil à : # aa-status <https://debian-handbook.info/browse/fr-FR/stable/sect.apparmor.html> Une autre solution est de tester la connectivité en ligne de commande, par exemple par ping ftp.lip6.fr -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Re : Re: Connexion réseau impossible pour certains logiciels
On 12/29/23 10:29, benoit wrote: Le mardi 26 décembre 2023 à 10:21, Michel Verdier a écrit : Le 25 décembre 2023 benoit a écrit : Et dans .xinitrc, au lieu de : exec /usr/bin/openbox-session J’ai : . /etc/X11/Xsession C'est ce qu'il y a dans le xinitrc par défaut /etc/X11/xinit/xinitrc Donc tu peux enlever ton .xinitrc Si tu as des trucs à faire met-les dans .xsession qui sera exécuté par /etc/X11/Xsession en plus des autres fichiers de configuration dans /etc/X11/Xsession.d Merci pour l'info En effet le fichier /etc/X11/Xsession contient USERXSESSION=$HOME/.xsession Mais je ne comprend pas pourquoi, dès que je mets un fichier $HOME/.xsession x11 ne se lance pas. Genre : cd && touch .xsession startx Je suggère d'indiquer explicitement les chemins, donc un $HOME/.xsession exécutable (par chmod a+rx ~/.xsession) contenant #!/bin/sh cd $HOME /usr/bin/startx /usrc/bin/icewm et d'installer bien sûr les paquets xinit et icewm et leurs dépendances indirectes (par exemple par aptitude install) Ca démarre pas... Je ne vois rien qui me semble anormal dans .xsession-errors -- Benoît -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: [HS] Lilo (et Grub)
On 12/26/23 14:36, ajh-valmer wrote: On Monday 25 December 2023 11:08:10 benoit wrote: Pourquoi Debian et d'autres distributions ont abandonné lilo au profit de GRUB? Il me semble (mais à vérifier) que lilo avait ses limites, le secteur d’amorçage(MBR) ne pouvait s’adresser qu’à une partition primaire. Limite qu’il suffisait de contourner en utilisant une partition primaire de qlq Mo pour /boot : Lilo a été mis de côté pour de bonnes raisons, mais Grub a beaucoup de défauts. Le principal est la configuration de partitions qui contiennent des n° UUID différents à l'intérieur de leur paragraphe concerné : obligation de corriger ces n° UUID à la main. Toutefois, sur Debian ou Ubuntu le fichier de configuration de grub (à savoir /boot/grub/grub.cfg ) est la plupart du temps généré par l'utilitaire grub-mkconfig (un script shell) -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Comportement bizarre clé usb fat32
On 12/21/23 15:45, Fabien Dubois wrote: Bonjour, J'ai depuis quelque temps un comportement bizarre de mes hub usb 3. Lorsque je branche une clé win, fat32, elle n'est pas vue. Il faut que je déconnecte et reconnecte le hub au port usb de la cm et là tout va bien. Comportement avec deux hub usb différents, sur les différents ports usb de la cm. Et qui ne se produit pas avec une clé ext4. Avant tout fonctionnait... Un processus qui processe pas ? Matériel sur la cm, je vois pas bien pourquoi. Debian Sid 6.5.13-1 Est-ce que le hub USB est alimenté par la carte mère (çàd par le port USB de celui-ci); ou bien a-t-il une alimentation séparée? Si le hub a son alimenation, est-elle allumée après le PC? Que donnent les commandes lsusb et dmesg (sous root) avant et après branchement du hub, et de la clef dedans? Que donnent ces mêmes commandes si on branche la même clef USB sur le port USB direct de la carte mère (ou du PC portable)? Quelle est la sortie des commandes hwinfo et lspci? Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Copier un système (Debian) sur un disque plus grand.
On 12/20/23 11:25, Michel Verdier wrote: Le 19 décembre 2023 benoit a écrit : % df -h Avec fdisk -l on voit mieux l'enchainement des partitions /dev/nvme0n1p7 128G110G 13G 90% /div /dev/nvme0n1p5 5,5G4,9G 239M 96% /home /dev/nvme0n1p4 9,1G1,8G 6,9G 21% /var As-tu une raison de mettre /div /home /var en partitions séparées ? Le nom de répertoire /div est inhabituel, ne figure pas dans https://man7.org/linux/man-pages/man7/hier.7.html ; c'est donc spécifique au système de Benoît. Le répertoire /var contient notamment (et habituellement) les logs sous /var/log - pour un serveur il peut être utile de les mettre dans un système de fichier séparé. (Peut-être qui si Benoît avait un disque rotatif, il serait approprié de l'y mettre: les logs sont surtout écrits en séquence et exploités plus rarement qu'écrits; ils peuvent être légalement indispensables, par exemple pour un serveur Web ou de mail). Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Copier un système (Debian) sur un disque plus grand.
On 12/20/23 08:50, Sébastien NOBILI wrote: Le 2023-12-19 19:38, benoit a écrit : Tu copie avec dd, le disque complet puis avec fdisk du redimensionne, tu peut aussi le faire avec gtparted, disque, etc ... Je ne savais pas que fdisk pouvait faire du déplacement/redimensionnement sans perte de données. Ca m'intéresse, je vais aller voir ça. Il me semble que fdisk ne fait pas de déplacement. Tu peux redimensionner une partition (pour l'agrandir par exemple), puis redimensionner le système de fichiers à l'intérieur. Tant que le point de départ de la partition reste inchangé ça ne cassera rien. Sébastien Je confirme. fdisk ne déplace pas. Voir https://www.malekal.com/fdisk-gfdisk-creer-supprimer-redimensionner-des-partitions-de-disque-en-ligne-de-commandes-linux/ gparted peut déplacer les partitions. C'est lent. Voir https://gparted.org/display-doc.php?name=help-manual=fr ... Et dans le cas improbable mais malheureux d'une coupure de courant pendant celui-ci, je crois que je risque de perte de données est grand. La conclusion, c'est que pour des données qui vous sont chères (fruit de votre labeur ou de celui d'autres) il est indispensable de procéder régulièrement (périodiquement au moins chaque semaine, et probablement chaque jour) à une sauvegarde systématique (vers un support externe ou un système de fichiers distant). Les utilitaires crontab (voir https://man7.org/linux/man-pages/man1/crontab.1.html ...) et rsync (voir https://man7.org/linux/man-pages/man1/rsync.1.html ...) et (pour des fichiers textuels) un gestionnaire de version comme git (voir https://fr.wikipedia.org/wiki/Git ...) demeurent indispensable. A l'approche des fêtes, n'oubliez pas de sauvegarder les fichiers relatifs à votre travail (à distance, ou sur un disque externe). Librement.§ -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Copier un système (Debian) sur un disque plus grand.
elle est cette clef USB et comment a-t-elle été montée automatiquement. Je la suppose ici être /dev/sdd. Il faut d'abord la démonter, par exemple par "/usr/bin/umount /dev/sdd1" et ainsi de suite. Une fois que la clef a été démontée, on peut en faire une clef bootable d'installation par la commande "/usr/bin/dd if=debian-12.4.0-amd64-netinst.iso of=/dev/sdd oflag=sync bs=64 status=progress" qui peut prendre plusieurs dizaines de minutes. Je conseille un /usr/bin/sync (en principe inutile). On arrête proprement le PC Debian, par exemple par "/sbin/poweroff" Il est alors temps de se restaurer (un café, un repas). Ensuite on débranche le secteur, on ouvre le capot de la machine, et on débranche les câbles sur le vieux disque dur /dev/sda. Après avoir fermé le capot et rebranché le câble secteur, on redémarre la machine avec la clef USB d'installation. On installe une Debian minimale (ou confortable) sur le nouveau disque cible /dev/sdb (qui, vu de la clef Debian, s'appelle autrement!). ça peut prendre des heures. Pour reconnaître la partition nouvelle, on y écrit un fichier, par exemple par une commande "/usr/bin/date > /nouveau-disque" suivi indispensablement de "/bin/sync". On arrête proprement la nouvelle Debian. On vérifie explicitement (plutôt deux fois qu'une) que la nouvelle Debian démarre et s'arrête convenablement. Et que fdisk y détecte bien le nouveau disque. On débranche le câble secteur. On ouvre le capot et on rebranche les câbles de l'ancien disque /dev/sda. On redémarre. Ayant préalablement lu la notice du PC ou de la carte mère ou de son BIOS, on paramètre le BIOS ou UEFI pour booter sur le nouveau disque /dev/sdb ... (qui s'appelle autrement dans le BIOS ou UEFI). On vérifie que /nouveau-disque existe et contient une date. Sinon, on reboote avec d'autres paramètres BIOS/UEFI. On monte les partitions de données du vieux disque source. J’ai cru comprendre qu’un clonage avec dd ou Clonezilla, va crée des partitions de même tailles du disque source ver le disque cible. Mais ce ne peut pas être l'objectif puisque le nouveau disque cible (ici /dev/sdb) est plus grand que l'ancien disque source (ici /dev/sda). Les partitions vont laisser une partie du disque cible non partitionné, qu’il faudra ensuite déplacer et redimensionner avec les données. Le peu d’expérience que j’ai de cette étape avec Gparted, c’est que ça prend des heures et que ça n’a pas toujours fonctionné. Oui, ça prend des heures, et oui, parfois ça échoue. Il me semble que le plus simple serait de faire l’inverse : créer la table de partition sur le disque cible avec cfdisk. Mais après je fais comment pour copier les secteurs d’amorçage, la partition EFI, les droits d’accès, les liens symboliques etc ? De mon point de vue on ne recopie que les partitions de données utilisateurs (/home etc... par deux tar en tube, peut-être tar cf - /home | tar xf - /home-nouveau) et on prévoit de galérer pendant plusieurs jours (à réinstaller des paquets utiles, peaufiner des fichiers de configurations, etc). Une fois que les données chères sont copiés, on éteint l'ordinateur, on démonte (au tournevis) le vieux disque. On vérifie à plusieurs reprises que toutes les données importantes sont présentes. Selon la confidentialité des données dessus (sur le vieux disque), il peut-être nécessaire de le casser physiquement au marteau. Le plus important est de prendre le temps (plusieurs jours), d'être systématique et de noter sur un cahier toutes les étapes faites et à faire. Bon courage et bonnes fêtes. NB: je cherche des partenaires intéressés par le projet logiciel libre RefPerSys (moteur d'inférences) sur https://github.com/RefPerSys/RefPerSys/ -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Compilation d'un module du kernel dans Debian 12 stable
On 12/6/23 23:34, didier gaumet wrote: Le 06/12/2023 à 17:17, Jean Bernon a écrit : Bonjour, Objectif : faire fonctionner le bluetooth d'une carte Mediatek MT7630e Il existe un driver spécial pour cette carte wifi/bluetooth : https://github.com/neurobin/MT7630E/wiki/Get-bluetooth-working-in-Linux-kernel--with-mt7630e Le wifi a toujours fonctionné. En revanche faire fonctionner le bluetooth nécessite de recompiler le module btusb et le driver propose un script bpatch pour le faire. Ce script récupère le code source du kernel, modifie légèrement btusb.c et le compile ensuite. Mais il ne fonctionne plus depuis Debian 11, parce qu'il ne parvient pas à récupérer le code source. J'ai essayé de le faire manuellement, comme le propose le README du driver, mais je bute effectivement sur la récupération / compilation du code source et je ne suis pas développeur, même si j'ai quelques notions de programmation. Bonsoir, Le code source du noyau linux est disponible sur https://kernel.org/ et des instructions pour le compiler en https://kernelnewbies.org/ La difficulté est la configuration du noyau (make menuconfig) librement. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Une distribution Debianesque avec beaucoup de code source et information DWARF de deboguage
Bonjour la liste Je cherche une distribution Debian dont la plupart -ou la totalité- des paquets sont aussi disponibles sous forme sources, et dont la plupart des bibliothèques et executables ELF sont compilés avec les informations DWARF de debugging (donc, si compilés par GCC, ayant été compilés avec -O2 -g) En gros, une distribution Debian "developer-friendly". J'ignore quel est le volume (en gigaoctets) de la majorité du code source des paquets Debian Ou bien dois-je renoncer à Debian et son apt et m'orienter vers archlinux? J'ai trois tera octets de libre sur mon disque. Je suis prêt, si besoin, à investir dans un autre disque dur. (mon souci, c'est que je suis peu familier avec pacman) Librement PS je cherche toujours des contributeurs, des partenaires et/ou un peu de financement pour http://refpersys.org/ (un moteur d'inférences sous licence GPLv3+ en logiciel libre) -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Comment superposer par programme, du texte sur un PDF ?
On 11/20/23 08:36, Olivier wrote: Bonjour, Je travaille régulièrement des plan d'architecte au format PDF sur lesquels je souhaite superposer par programme des symboles ou du texte (extraits d'un fichier CSV). Quel logiciel utilisez vous pour ces plans d'architecte? Ce logiciel peut-il générer du SVG? Ce logiciel stocke-t-il les plans dans un format ouvert, normalisé et documenté? Lequel? Il devrait exister un standard ISO propre au métier d'architecte du bâtiment! Lequel? Ce logiciel tourne-t-il sous Linux ou Debian? J'ai découvert que le format SVG avait l'air bien adapté à la production par programme d'un dessin mais je n'ai pas l'impression s'il soit possible d'y intégrer "un fond de carte". Que conseillez-vous pour produire ces cartes ? Tout dépend du format utilisé pour ce plan ou dessin. On pourrait imaginer étendre https://inkscape.org/about/ pour vos besoins. Pouvez vous convaincre votre cabinet d'architectes du bâtiment d'utiliser Inkscape? Slts -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Délai de 25 secondes
On 11/14/23 10:26, Seb wrote:
Bonjour,
poll([{fd=11, events=POLLIN}], 1, 25000
Sitôt le délai (25000) passé, pavucontrol s'ouvre.
j'ai vu un comportement proche sous ArchLinux il y a quelques mois,
la piste **dbus** est à explorer:
https://bbs.archlinux.org/viewtopic.php?id=275523
YOUHOU! C'est pile le bon pointeur.
Je peux donc maintenant raconter l'histoire.
Il ne me manquait pas de package.
Par contre, je démarre X avec "startx" et depuis presque 30 ans
j'utilise un fichier $HOME/.xinitrc pour dire ce qu'il faut faire :
lancer fvwm2, puis faire un xmodmap, un xrdb, lancer xdaliclock,
ouvrir un terminal, bref faire en sorte que l'environnement graphique
soit confortable dès qu'il s'ouvre.
Quand l'utilisateur n'a pas de fichier ~/.xinitrc, le système utilise
le fichier par défaut : /etc/X11/xinit/xinitrc. Celui-ci redirige vers
/etc/X11/Xsession.
À une date que je ne connais pas, quelqu'un s'est dit que
/etc/X11/Xsession était un super endroit pour lancer des services
(liste dans /etc/X11/Xsession.d), entre autres DBus.
Sauf que /etc/X11/Xsession n'est pas appelé si on a son propre fichier
~/.xinitrc.
À son origine, DBus servait, il me semble, à la communication des
processus dans KDE ou dans Gnome, et comme je n'utilise ni l'un, ni
l'autre, ça ne me manquait pas. DBus a pris maintenant un rôle plus
important, et son absence commence à se faire sentir même sous Fvwm.
Son timeout est d'exactement 25 secondes.
La solution simple dans mon cas est donc de renommer ~/.xinitrc en
trucs-a-lancer-au-demarrage.sh afin que les fichiers par défaut dans
/etc/X11 soient utilisés.
Du coup, j'ai une question connexe : quel est aujourd'hui
l'emplacement recommandé pour les p'tites commandes (xmodmap, xrdb,
etc.) qui devraient se lancer automatiquement sitôt fvwm2 démarré ?
La page de man suggère:
During initialization, fvwm searches for a configuration file
which describes key and button bindings, and many other things. The
format of these files is
described later. Fvwm first searches for configuration files
using the command
Read config
This looks for file config in $FVWM_USERDIR and $FVWM_DATADIR
directories, as described in Read. If this fails more files are
queried for backward
compatibility. Here is the complete list of all file locations
queried in the default installation (only the first found file is used):
$HOME/.fvwm/config
/usr/local/share/fvwm/config
$HOME/.fvwm/.fvwm2rc
$HOME/.fvwm2rc
/usr/local/share/fvwm/.fvwm2rc
/usr/local/share/fvwm/system.fvwm2rc
/etc/system.fvwm2rc
Please note, the last 5 locations are not guaranteed to be
supported in the future.
Je ne peux pas juste appeler à la main /etc/X11/Xsession au début de
mon ~/.xinitrc car /etc/X11/Xsession se termine par un "exec $STARTUP".
Seb.
--
Basile Starynkevitch
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
Re: Délai de 25 secondes
On 11/9/23 15:12, Seb wrote:
Bonjour,
poll([{fd=11, events=POLLIN}], 1, 25000
Là il attend un évènement sur le file descripteur 11, il faudrait
repérer au dessus un appel open (ou nom approchant) que retourne 11
pour voir à quelle ressource ça correspond
J'ai redirigé la sortie de strace vers un fichier "trace".
Ensuite:
~/temp> egrep 'poll.*fd=11|^open.*= 11' trace | cat -n
1 poll([{fd=11, events=POLLIN}], 1, 25000) = 1 ([{fd=11,
revents=POLLIN}])
2 poll([{fd=11, events=POLLIN}], 1, 25000) = 1 ([{fd=11,
revents=POLLIN}])
3 poll([{fd=11, events=POLLIN}], 1, 25000) = 1 ([{fd=11,
revents=POLLIN}])
4 poll([{fd=11, events=POLLIN}], 1, 25000) = 1 ([{fd=11,
revents=POLLIN}])
5 poll([{fd=11, events=POLLIN}], 1, 25000) = ?
ERESTART_RESTARTBLOCK (Interrupted by signal)
6 openat(AT_FDCWD,
"/usr/lib/x86_64-linux-gnu/gdk-pixbuf-2.0/2.10.0/loaders.cache",
O_RDONLY) = 11
7 openat(AT_FDCWD, "/usr/lib/x86_64-linux-gnu/gio/modules",
O_RDONLY|O_NONBLOCK|O_CLOEXEC|O_DIRECTORY) = 11
8 openat(AT_FDCWD,
"/usr/lib/x86_64-linux-gnu/gio/modules/libgvfsdbus.so",
O_RDONLY|O_CLOEXEC) = 11
9 openat(AT_FDCWD,
"/usr/lib/x86_64-linux-gnu/gvfs/libgvfscommon.so", O_RDONLY|O_CLOEXEC)
= 11
[...]
C'est le "poll" de la ligne 5 qui bloque.
Je ne vois donc pas d'openat renvoyant 11 dans les lignes qui le
précèdent.
Je devine qu'un processus (j'ignore lequel) a appellé eventfd, qui est
très utile mais spécifique à Linux:
https://man7.org/linux/man-pages/man2/eventfd.2.html
Peut-être qu'il serait utile de télécharger le code source de
pavucontrol https://freedesktop.org/software/pulseaudio/pavucontrol/ et
d'y chercher les appels à eventfd.
Sinon, un rapport de bogue sur
https://gitlab.freedesktop.org/pulseaudio/pavucontrol/-/issues pourrait
être utile.
ls -l /proc/$(pidof pavucontrol)/fd
Cela donne, pendant le chargement de pavucontrol :
~> ls -l /proc/$(pidof pavucontrol)/fd
total 0
lrwx-- 1 seb seb 64 Nov 9 16:07 0 -> /dev/pts/11
lrwx-- 1 seb seb 64 Nov 9 16:07 1 -> /dev/pts/11
lrwx-- 1 seb seb 64 Nov 9 16:07 10 -> 'anon_inode:[eventfd]'
lrwx-- 1 seb seb 64 Nov 9 16:07 11 -> 'anon_inode:[eventfd]'
lrwx-- 1 seb seb 64 Nov 9 16:07 2 -> /dev/pts/11
lrwx-- 1 seb seb 64 Nov 9 16:06 3 -> 'socket:[443606]'
lrwx-- 1 seb seb 64 Nov 9 16:07 4 -> 'anon_inode:[eventfd]'
lrwx-- 1 seb seb 64 Nov 9 16:07 5 -> 'socket:[444861]'
lrwx-- 1 seb seb 64 Nov 9 16:07 6 -> 'socket:[440203]'
lrwx-- 1 seb seb 64 Nov 9 16:07 7 -> 'anon_inode:[eventfd]'
lrwx-- 1 seb seb 64 Nov 9 16:07 8 -> 'anon_inode:[eventfd]'
lrwx-- 1 seb seb 64 Nov 9 16:07 9 -> 'socket:[444862]'
man proc a quelques infos sur "anon_inode:[eventfd]", mais ça ne m'avance
pas beaucoup :
For file descriptors that have no corresponding inode
(e.g.,
file descriptors produced by bpf(2),
epoll_create(2),
eventfd(2), inotify_init(2), perf_event_open(2),
signalfd(2),
timerfd_create(2), and userfaultfd(2)), the entry will
be a sym-
bolic link with contents of the form
anon_inode:file-type
In many cases (but not all), the file-type is
surrounded by
square brackets.
For example, an epoll file descriptor will have a
symbolic link
whose content is the string anon_inode:[eventpoll].
man 2 eventfd parle d'un mécanisme d'attente :
eventfd() creates an "eventfd object" that can be used as
an event
wait/notify mechanism by user-space applications, and by the
kernel to
notify user-space applications of events.
Cela ne m'avance guère.
Quelqu'un sait-il donner du sens à tout cela ?
Pour ma part, je cherche des contributeurs pour le moteur d'inférences
http://refpersys.org/ (avec code en
https://github.com/RefPerSys/RefPerSys/ ....)
Dans quelque temps (j'espère quelques mois) RefPerSys pourrait aider à
chasser ce genre de bogue.
Librement
--
Basile Starynkevitch
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
Re: upgrade Debian-12 : Xorg noyau 6.1.0-13 ne fonctionne pas : résolu
On 11/2/23 18:58, ajh-valmer wrote: Merci à ceux qui m'ont aidé. Résolu en installant les paquets "nvidia-tesla-470" depuis ceux de Debian. J'aurais préféré installer le driver proprio nvidia, mais il n'apparaît plus, dans leur base. Allez bon pas grave, ça marche aussi bien. Bonne soirée. On Thursday 02 November 2023 17:09:23 ajh-valmer wrote: On Thursday 02 November 2023 15:38:07 Sébastien NOBILI wrote: C'est plutôt nvidia-tesla-470-driver qu'il faudrait installer. Probablement car le module est dispo pour l'une des versions du noyau mais pas l'autre : find /lib/modules/6.1.0-10-amd64 -name nvidia.ko find /lib/modules/6.1.0-13-amd64 -name nvidia. le module "nvidia-tesla-470-driver" est installé dans le noyau 6.1.0-10-amd64, et sans doute pas du tout dans le noyau "6.1.0-13-amd64" : find /lib/modules/6.1.0-10-amd64 -name nvidia.ko : installé find /lib/modules/6.1.0-13-amd64 -name nvidia.ko : pas installé Dans certains cas, le pilote libre nouveau pourrait remplacer le pilote propriétaire Nvidia. https://nouveau.freedesktop.org/ librement PS. Pour ma part, je cherche du soutien (des contributeurs, un consortium HorizonEurope?) pour le moteur d'inférence RefPerSys. Voir des idées sur http://refpersys.org/ et du code libre (GPLv3+) sur https://github.com/RefPerSys/RefPerSys/ -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
sauvegarder le carnet d'adresse d'un telephone Android sur Debian Sid
Bonjour, Je dispose de plusieurs ordinateurs (sous Debian/Sid ou Ubuntu 23.10) avec des ports USB (avec accès à root, et pas mal de disque libre) et d'un téléphone portable Galaxy A12 SM A127F/DS sous Android 13. J'ai bien sûr un cable USB-C pour brancher le téléphone portable sur l'un de mes ordinateurs Je souhaiterais sauvargder le carnet d'adresses du téléphone sur l'ordinateur. Et peut-être réinitialiser complètement le téléphone, puis (si nécessaire) reintroduire le carnet d'adresses dans celui-ci. D'après ce que j'en sais, ce carnet est une base de données Sqlite. Comment procéder? Merci Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
CNRS: nouveau système de gestion des missions, on n'en peut plus!
Bonjour, Je viens de signer la pétition "CNRS: nouveau système de gestion des missions, on n'en peut plus!" et je souhaitais savoir si vous voudriez nous aider en ajoutant votre signature. Notre objectif est d'atteindre 2 500 signatures et nous avons besoin de plus de soutiens. Pour en savoir plus et pour signer, c'est ici: https://chng.it/swYTsqL5DH Merci ! Par ailleurs, je cherche des contributeurs et des utilisateurs au logiciel libre moteur d'inférence RefPerSys en http://refpersys.org/ et code en https://github.com/RefPerSys/RefPerSys/ Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: CUPS, Bullseye et Apple
On 10/21/23 16:05, Thierry wrote: Bonjour, Incidemment, sur l'interface d'administration CUPS sur une Debian Bullseye pur jus, j'ai remarqué cette petite note en bas de page: " CUPS et le logo CUPS sont des marques déposée de Apple Inc. CUPS est sous copyright 2017-2019 Apple Inc. Tous droits réservés". Pour moi qui suis un tenant du libre et allergique à Apple, de quoi s'inquiéter? Qu'est-ce que cela signifie? CUPS fonctionne sous Linux. sur https://github.com/apple/cups on peut lire la licence suivante: LEGAL STUFF<https://github.com/apple/cups#legal-stuff> Copyright © 2007-2021 by Apple Inc. Copyright © 1997-2007 by Easy Software Products. CUPS is provided under the terms of the Apache License, Version 2.0 with exceptions for GPL2/LGPL2 software. A copy of this license can be found in the file |LICENSE|. Additional legal information is provided in the file |NOTICE|. Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. Et la licence Apache est considérée comme libre. Le copyright appartient a Apple, qui a probablement payé les salaires des dévelopeurs initiaux de CUPS. Je suis aussi libriste (membre de l'APRIL) et allergique à Apple, mais il faut constater qu'il arrive à Apple de salarier des developpeurs de logiciels libres intéressants. (j'ai connu des dévelopeurs salariés, et je l'ai moi-même été, pour le compilateur GCC, en particulier -pour les développeurs GCC que j'ai rencontrés- payé par IBM ou Google). Le code appartient à l'employeur (dans mon cas le CEA), qui délègue le copyright à la FSF. C'est une formalité qui m'a été pénible, et m'a probablement coûté des avancements. Mon projet logiciel libre du moment est le moteur d'inférences RefPerSys (sous licence GPLv3+), en cours de développement en https://github.com/RefPerSys/RefPerSys/ les contributions y sont bienvenues. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Comment agrandir une page au format PDF
On 10/19/23 18:58, Olivier wrote: Bonjour, J'ai quelques plans d'architectes au format PDF. 1 plan = 1 page = 1 fichier PDF Si j'en crois les propriétés du document, chaque page a été produite avec AutoCAD au format A0 Quand j'imprime une page sur mon imprimante à feuille A4, les détails sont illisibles car top petits. Comment agrandir ces documents de façon à les imprimer ou les décomposer en plusieurs pages A4 ? Il me semble que l'utilitaire evince (en mode graphique) ou le paquet ghostscript (ou peut-être le paquet pdfsam) fournit des utilitaires qu'on peut combiner dans un script shell pour avoir le résultat voulu. Et il me semble que le pilote générique CUPS peut être configuré pour fournir une imprimante (virtuelle, en ligne de commande) qui fasse le travail souhaité. C'est bien sûr des pistes incomplètes. Je me souviens avoir résolu ce genre de problèmes il y a plus de dix ans (sur la Debian de l'époque). Bon courage pour la suite. Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: orientation de l'écran
On 10/17/23 16:55, bm wrote: Bonjour, Sur une Debian 12 "de base", gnome3, l'écran s'affiche en portrait pour une raison que j'ignore. J'ai cherché à comprendre ... et n'ai rien trouvé. C'est quel modèle d'écran, quelle carte graphique, quel ordinateur, quelle connectique (HDMI, displayport) et quel pilote? (Il existe des écrans qui envoient leur orientation et d'autres dont l'orientation est configurable par des boutons sur l'écran lui-même) Sinon, je suggère d'utiliser la commande xdpyinfo pour comprendre ce que le système détecte de l'écran Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: imposer une IP à une seconde carte réseau
On 10/17/23 15:34, Alex PADOLY wrote: Bonsoir à tous, Cela fonctionne, le problème, c'est que l'on doit ressaisir cette commande à chaque redémarrage du serveur. Une possibilité pour exécuter une commande (non interactive) à chaque rédemarrage est d'éditer le fichier /etc/crontab qui est utilisé par le démon cron. Il existe une commande crontab, documentée en https://man7.org/linux/man-pages/man1/crontab.1.html et un fichier système /etc/crontab qui est documenté en https://man7.org/linux/man-pages/man5/crontab.5.html Il faut installer les paquets cron et cron-daemon-common et cron-daemon. Une autre approche que je connais moins bien est la notion de service. J'en ai codé un trivial (et probablement peu utile) qui lance péridiquement l'appel système sync(2) pour vidanger les tampons sur les disques. Le code source (un seul fichier en C) est en https://github.com/bstarynk/misc-basile/blob/master/sync-periodically.c et il y a le Makefile Le fichier de configuration du service est en https://github.com/bstarynk/misc-basile/blob/master/sync-periodically.service Il m'est arrivé (et je n'ai pas compris pourquoi) que le démon sync-peridocially (que j'avais installé en /usr/local/bin/ ) soit lancé plusieurs fois. Dans mon cas, ça n'a pas d'importance. Librement NB. Je cherche des partenaires et contributeurs intéressés par le logiciel libre moteur d'inférence RefPerSys en https://github.com/RefPerSys/RefPerSys -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: imposer une IP à une seconde carte réseau
On 10/14/23 19:42, Alex PADOLY wrote: Bonsoir à tous, La dernière fois que j'ai configuré des cartes réseau sur un système Debian, celles-ci s'appelaient eth0 , eth1, eth2. Sur un Debian récent avec un noyau Linux récent (6.x), il est possible de forcer le nom des cartes réseaux. https://www.itzgeek.com/how-tos/linux/debian/change-default-network-name-ens33-to-old-eth0-on-debian-9.html devrait donner des pistes, avec la commande ip addr. Voir aussi la commande ip donc https://man7.org/linux/man-pages/man8/ip.8.html Aujourd'hui, je commence la configuration d'un serveur LTSP et je souhaiterais imposer une adresse réseau à la seconde carte réseau reliée au switch pour les différents clients. Le système d'adressage IP des cartes réseau sous Debian a-t-il fondamentalement changé. Comment aujourd'hui imposer une adresse IP fixe à la seconde carte réseau? Merci pour vos réponses et éclairages. PS. Je cherche des partenaires intéressés par le projet moteur d'inférence RefPerSys en https://githhub.com/RefPerSys/RefPerSys/ - me contacter par courriel vers bas...@starynkevitch.net -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Message d'erreur au boot sur disque dur
On 10/11/23 08:55, Informatique BILLARD wrote: Bonjour j'ai parfois ce message au boot sur un portable, quand il est en autonomie sur la batterie. COMRESET failed (errno=-16) Ce problème semble ne pas apparaître quand il est sur le secteur. Dois-je m’inquiéter quand à la santé de mon disque dur SSD. L'utilitaire à installer et à lancer (de temps en temps) est smartctl. Voir https://lecrabeinfo.net/verifier-etat-de-sante-tester-secteurs-defectueux-disque-dur-ssd-sur-linux.html Librement. PS. Je cherche des contributeurs ou des suggestions d'exemples au moteur d'inférences libre https://github.com/RefPerSys/RefPerSys/ -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Problèmes à l'installation si je ne veux pas refaire les partitions de swap
On 9/29/23 16:00, Eric DEGENETAIS wrote: bonjour, je suis confronté de manière récurrente à un problème qui m'agace lorsque je souhaite installer une partition debian au moment de la publication d'une nouvelle stable. Voici le contexte : comme je ne souhaite pas compromettre l'utilisation de la machine (poste de travail pro, ou PC qui sert à toute la maisonnée et n'a donc "pas le droit" d'être en panne), lorsque je monte de version j'installe généralement sur une partition système fraîche, en parallèle de la version "de production" qui sert au quotidien. Quand je me suis assuré que tout (devices, logiciels...) fonctionne bien, je bascule le boot par défaut vers cette version (et j'ajoute le montage automatique de la partition home, que j'omets volontairement à l'installation). Voici le problème : l'installeur me prend la tête avec les partitions de swap. _ Soit il les refait, et je dois remettre à jour l'OS "de production" pour éviter un délai au boot lié au fait que les UUID ne sont plus bons. Primo, il y-a-t-il besoin de beaucoup de swap? Si on a beaucoup de RAM, le swap sert peu (sauf pour l'hibernation). Si on a peu de RAM, il servira beaucoup. En automne 2023, avec 16Goctets de RAM, le swap servira peu (sauf si on utilise des applications, par exemple codes de calculs numériques, ou même le compilateur GCC <https://gcc.gnu.org/> avec des options telles que -flto -O2 pour compiler un /gros/ logiciel) Dans certains cas, on peut se passer de swap. Sur un Debian (sid ou testing) ou Ubuntu (22 ou 23) récent, on peut swaper sur un "gros" fichier (à créer avec dd puis mkswap ; pour les détails voir les pages de man). Ca sera théoriquement un peu plus lent, mais sur les machines actuelles, la différence sera peu perceptible en fonctionnement normal. La question importante, c'est quelle est l'usage du swap en charge forte. On peut utiliser les utilitaires top ou htop ou free ou xosview (graphique) pour en avoir une idée quantitative. L'autre point, c'est est-ce que l'hibernation du système est importante pour vous? (personnellement ça me sert peu). Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Plus de session graphique
On 9/28/23 14:41, Sébastien NOBILI wrote: Le 2023-09-28 14:06, Jean Bernon a écrit : Remove: gnome:amd64 (1:43+1), gnome-shell-extension-easyscreencast:amd64 (1.7.0-2), gnome-shell-extensions:amd64 (43.1-1), gnome-shell:amd64 (43.4-1), gdm3:amd64 (43.0-3), chrome-gnome-shell:amd64 (42.1-3), task-gnome-desktop:amd64 (3.73), gnome-session:amd64 (43.0-1), gnome-browser-connector:amd64 (42.1-3), gnome-core:amd64 (1:43+1), gnome-shell-extension-prefs:amd64 (43.4-1) Voilà la raison de ton problème : Gnome a été désinstallé. Je suggère d'aillleurs d'installer d'autres environnements graphiques (en plus de Gnome): apt install icewm xfce4 (on a alors le choix de l'environnement graphique à la connexion) librement. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
comment avoir le maximum d'information (DWARF) de debugging? GTKmm & GTK4
Bonjour la liste Pour le moteur d'inférence RefPerSys (en https://github.com/RefPerSys/RefPerSys) j'ai besoin d'une interface graphique. Je suis en train de la coder (en https://github.com/RefPerSys/gtk4gui-refpersys ...) avec GTKMM 4 (en sur Debian/Sid ou Ubuntu 23 (x86-64) J'ai beaucoup d'espace disque. Bien sûr, ça plante (le commit 96bd7bc <https://github.com/RefPerSys/gtk4gui-refpersys/commit/96bd7bcd5c67a9da92ecd3f4b79570c215ce4784> de *gtk4gui-refpersys <https://github.com/RefPerSys/gtk4gui-refpersys>* qu'il suffit de lancer avec ./guigtkrps ...) GDB me dit que ça plante apparemment dans gtkmm. Bien sûr, le bogue est probablement le mien. Program received signal SIGSEGV, Segmentation fault. 0x766b4895 in ?? () from /lib/x86_64-linux-gnu/libgtk-4.so.1 (gdb) bt #0 0x766b4895 in ??? () at /lib/x86_64-linux-gnu/libgtk-4.so.1 #1 0x766c7252 in ??? () at /lib/x86_64-linux-gnu/libgtk-4.so.1 #2 0x766c8b92 in ??? () at /lib/x86_64-linux-gnu/libgtk-4.so.1 #3 0x766c8cc9 in ??? () at /lib/x86_64-linux-gnu/libgtk-4.so.1 #4 0x766b1a9f in ??? () at /lib/x86_64-linux-gnu/libgtk-4.so.1 #5 0x779ddca3 in g_type_create_instance () at /lib/x86_64-linux-gnu/libgobject-2.0.so.0 #6 0x779c41f0 in ??? () at /lib/x86_64-linux-gnu/libgobject-2.0.so.0 #7 0x779c5746 in g_object_new_with_properties () at /lib/x86_64-linux-gnu/libgobject-2.0.so.0 #8 0x779c65f1 in g_object_new () at /lib/x86_64-linux-gnu/libgobject-2.0.so.0 #9 0x7665fcb0 in ??? () at /lib/x86_64-linux-gnu/libgtk-4.so.1 #10 0x779ddca3 in g_type_create_instance () at /lib/x86_64-linux-gnu/libgobject-2.0.so.0 #11 0x779c41f0 in ??? () at /lib/x86_64-linux-gnu/libgobject-2.0.so.0 #12 0x779c5746 in g_object_new_with_properties () at /lib/x86_64-linux-gnu/libgobject-2.0.so.0 #13 0x779c65f1 in g_object_new () at /lib/x86_64-linux-gnu/libgobject-2.0.so.0 #14 0x764e0233 in ??? () at /lib/x86_64-linux-gnu/libgtk-4.so.1 #15 0x764e2567 in ??? () at /lib/x86_64-linux-gnu/libgtk-4.so.1 #16 0x77516b9c in ??? () at /lib/x86_64-linux-gnu/libglib-2.0.so.0 #17 0x775180dc in g_markup_parse_context_parse () at /lib/x86_64-linux-gnu/libglib-2.0.so.0 #18 0x764e48ca in ??? () at /lib/x86_64-linux-gnu/libgtk-4.so.1 #19 0x764d8ef0 in gtk_builder_add_from_string () at /lib/x86_64-linux-gnu/libgtk-4.so.1 #20 0x77c4baca in Gtk::Builder::add_from_string(Glib::ustring const&) () at /lib/x86_64-linux-gnu/libgtkmm-4.0.so.0 #21 0x77c4dae4 in Gtk::Builder::create_from_string(Glib::ustring const&) () at /lib/x86_64-linux-gnu/libgtkmm-4.0.so.0 #22 0x660d in main () Dois-je recompiler GTKmm 4 (et GTK 4) depuis son code source pour comprendre mon erreur? Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: [HS] Patche de binaires ?
On 9/19/23 14:40, ptilou wrote: Slt, Je me demande si il existe des lectures pour savoir comment manipuler des binaires et puis de les patchers ? Je sais qu'il y a des personnes qui sont capable de lire le binnaire ( en plus de programmes qui font du reverse et modifie les fichiers encapsules !), et donc j'aimerai apprendre les fondements de la technique a optimiser le binaire, que dois je lire (?) , je n'ai pas vue de question a ce sujet, je l'ai vue en action a la St Olivetti (optimiser le binaire) ... Je me demande si seulement vous ne savez pas le faire, et que le patche kernel ou autre ce fait par script et comparaison du binaires sortie de compile avec diff ? Je comprends qu'il s'agit de patcher des executables binaires (au format ELF). Si le binaire est propriétaire, il y a des cas où c'est illégal. A voir avec son employeur ou avocat et la licence logicielle du binaire. Si modifier un binaire est légal, c'est en pratique très compliqué. Si on peut lancer le binaire (sous gdb) c'est mieux. Car en pratique un binaire a des dépendances (utiliser /usr/bin/ldd pour les découvrir, voir aussi les greffons chargés par https://man7.org/linux/man-pages/man3/dlopen.3.html ...). Si on peut arrêter un processus exécutant ce binaire, voir aussi https://man7.org/linux/man-pages/man5/proc.5.html Un binaire sous Linux peut aussi et légitimement modifier son propre code https://asmjit.com/ et https://gcc.gnu.org/onlinedocs/jit/ et https://en.wikipedia.org/wiki/Self-modifying_code etc (un exemple réaliste est https://sbcl.org/ ou http://refpersys.org/ ) Des outils comme https://sourceware.org/binutils/docs/binutils/readelf.html et https://binsec.github.io/ et https://www.sourceware.org/gdb/ peuvent aider. Ma préférence est pour le logiciel libre, et dans ce cas là, il est plus simple de recompiler le code source après l'avoir modifié. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: disque dur mort ?
On 9/13/23 18:16, hamster wrote: Le 13/09/2023 à 11:50, Klaus Becker a écrit : Salut, Mon dd sata est reconnu par le bios, mais sinon inaccessible. Au démarrage, grub apparaît, mais il refuse de booster. Il dit qu'il n'y a pas de disque système. Sous Knoppix, j'ai essayé avec cfdisk, gparted, smartmontools, montage manuel, rien à faire. Une clé USB avec une image ISO d'installation Debian ne reconnaît pas le dd non plus. Thunar sous Knoppix affiche les partitions du dd, mais il ne peut pas les monter. Je crains devoir faire le deuil de ce dd, mais je suis preneur pour des conseils Ce que tu dis pas c'est si y'a des données importantes a récupérer ou si tu cherche juste a savoir si le disque est mort. Dans l'hypothèse désagréable où il y a des données importantes (par exemple le code d'un logiciel sur lequel on travaille depuis des mois, le texte d'une thèse à soutenir, ) il existe des entreprises qui facturent cher (plus de 1000€) la récupération d'une partie des données d'un disque rotatif SATA (en salle blanche). Bonne chance. PS mon projet logiciel libre est RefPerSys (sous Debian, en GPLv3+) sur https://github.com/RefPerSys/RefPerSys/ - un futur moteur d'inférences. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
pilote imprimante DELL B1265dfw Multifunction Mono Laser Printer pour Debian 12 bookworm x86-64
Bonsoir, J'ai hérité de ma fille d'une imprimante laser monochrome DELL B1265dfw Multifunction Mono Laser Printer (et je viens de commander, sans l'avoir reçu, le toner correspondant). Comment faire marcher cette imprimante en connection USB sur Debian 12 bookworm x86-64? je suis prêt à compiler les pilotes nécessaires. Merci Cordialement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: [HS] Logiciel libre pour sites web
On 7/20/23 08:49, Michel Verdier wrote: Le 19 juillet 2023 k6dedijon a écrit : La ville de Paris met à disposition un logiciel libre pour la céation de sites web. il y aurait 500 plugins pour l'adapter à ses besoins. C'est effectivement HS et en plus du réchauffé : lutece est un projet qui semble remonter à 2002. Et tout petit comparé à des projets similaires, par exemple drupal, que ce soit en volume de code ou de la communauté. En plus récent, comme logiciel libre relatif aux sites web, on peut mentionner: La bibliothèque libonion (européenne) en C avec des bouts de C++. Sous licenses GPLv2+ et Apache2. J'y ai contribué quelques lignes de code: https://www.coralbits.com/libonion/ et https://github.com/davidmoreno/onion Le cadriciel Ocsigen (en Ocaml), principalement français. https://ocsigen.org/home/intro.html. Une forte originalité est qu'on code l'application Web en Ocaml annoté, et dans le même fichier source du code qui tourne dans le serveur Web et du code qui tourne sur le navigateur Web (il y a donc un compilateur d'Ocaml vers JavaScript). La bibliothèque Wt https://www.webtoolkit.eu/wt en C++. Elle ressemble et s'est inspirée de Qt https://www.qt.io/ (un cadriciel d'application graphique). La bibliothèque cpp-httplib en C++ https://github.com/yhirose/cpp-httplib (client et serveur HTTP/HTTPS) Qt permet aussi, et facilement, d'écrire un logiciel avec un navigateur Web embarqué. Comme serveur Web en logiciel libre on peut mentionner http://www.lighttpd.net/ sous license BSD. Et n'oubliez pas l'approche FastCGI pour vos applications Web. C'est un protocole binaire de communication entre un serveur Web et des applications clientes spécialisées. https://en.wikipedia.org/wiki/FastCGI NB. pour ma part mon projet logiciel libre du moment est le moteur d'inférences (en C++) RefPerSys en https://github.com/RefPerSys/RefPerSys/ - pour lequel je cherche des contributeurs. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Accès distant graphique performant, sécurisé, écran-clavier-souris
On 7/15/23 20:09, didier gaumet wrote: Le 15/07/2023 à 18:55, ajh-valmer a écrit : On Saturday 15 July 2023 18:10:17 RogerT wrote: Il faut juste TDE sur le serveur. Mais pas forcément sur le client, puisque ce peut être Mac/Win. C’est ça ? Serveur : Linux + TDE + XDMCP. (on peut avoir un autre système + autre bureau (p. ex. XFCE...), il faut alors trouver l'outil de configuration). Client : de préférence TDE ou autres systèmes + bureaux, Windows = RDP, Mac/Win = pas fait essai. Il faut faire l'effort de se documenter, taper dans moteur de recherche : XDMCP, RDP, Terminal/Serveur ... Rappel: je suis un quasi-demeuré en réseaux et sécurité donc prendre ce qui suit avec réserve Mais j'ai l'impression que tu rends la situation plus confuse à Roger au lieu de l'éclairer En gros XDMCP est un protocole de login X11 à distance: - qui nécessite donc un serveur X11 qui tourne sur la machine distante, et un gestionnaire d'affichage (DM, Display Manager) compatible XDMCP, et que le protocole XDMCP soit autorisé (récemment ce n'est plus le cas par défaut) Un serveur X11 gère une carte graphique, un clavier, une souris. Il ccommunique avec des applications clientes selon un protocole assez compliqué, mais dont les principes sont expliqués par exemple en https://linuxiac.com/xorg-x11-wayland-linux-display-servers-and-protocols-explained/ ou https://fr.wikipedia.org/wiki/X.Org (dans le détail, le protocole X11 se décrit en des centaines de pages). Conséquemment un serveur X11 tourne sur la machine locale, pas distante. Il existe des serveurs X11 pour Linux, OpenBSD, Windows, MacOSX. Chaque mouvement de souris correspond à un message binaire envoyé du serveur X11 (tournant sur la machine locale) vers une (ou des) applications clientes. Bien sûr, une application cliente X11 (par exemple https://gnu.emacs.org/ ) peut tourner sur une machine distante (à dix mètres et parfois à dix mille kilomètres). Les bibliothèques graphiques telles que https://gtk.org/ ou https://qt.io/ gère ces protocoles X11 Prenons l'exemple d'un supercalculateur (les machines à plusieurs millions d'€), par exemple à meteofrance. Ceux-ci tournent tous sous Linux. Mais on n'accède pas à la salle (très bruyante) les contenant. On peut avoir un processus de calcul sur un supercalculateur qui utilise une bibliothèque cliente X11 (par exemple GTK) pour afficher des résultats (des courbes) sur un PC local (qui a un serveur X11) sous Windows ou Linux. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Accès distant graphique performant et sécurisé /avec écran-clavier-souris
On 7/14/23 10:34, RogerT wrote: Bonjour, Je déterre ce fil. J’ai besoin pour un utilisateur ordinaire de lui permettre un accès graphique à un hôte debian 12 sous gnome. J’ai repensé à x2go, discuté dans ce fil de 2018. J’ai été embêté par la configuration. Je n’ai pas réussi Il semble que ce ne soit pas vraiment compatible avec gnome de debian 12. Et installer un DE léger comme xfce4 va créer un rejet chez l’utilisateur habitué à VNC ou RDP. Peut-on configurer x2go de manière à conserver un bureau gnome allégé de certains effets graphiques ? Et comment ? Ou alors KDE qui semble un DE confortable très apprécié sous debian ? PS : Quelle est la situation de x2go par rapport au duo xorg/wayland ? Puisque j’ai compris qu’on migrait progressivement vers wayland, plus sécurisé. J'espère bien que non, Xorg n'est pas condamné dans Debian. Et il peut être bien sécurisé, par une bonne configuration (et xhosts -). Ou un iptables. Je cite (en anglais) la page de man de Xorg: NETWORK CONNECTIONS Xorg supports connections made using the following reliable byte-streams: Local On most platforms, the "Local" connection type is a UNIX-domain socket. On some System V plat‐ forms, the "local" connection types also include STREAMS pipes, named pipes, and some other mecha‐ nisms. See the "LOCAL CONNECTIONS" section of X(7) for details. TCP/IP Xorg listens on port 6000+n, where n is the display number. This connection type is usually disabled by default, but may be enabled with the -listen option (see the Xserver(1) man page for de‐ tails). Enfin, la plupart des boites à outils graphiques actuelles en logiciel libre: Qt, GTK, FLTK, fox-toolkit supportent le protocole X11. Et la plupart sont faciles à compiler (depuis leur code source). Toutes ont des dévelopeurs et des contributions récentes. Toutes ne vont pas migrer vers wayland. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Feuille de calcul web + outil de sondage web
On 7/12/23 18:26, RogerT wrote: J’ai testé Ethercalc. La version d’essai hébergé est lente. J’imagine que c’est normal. Surtout le formatage des cellules est préhistorique : Ouvrir un menu-fenêtre très laid et incompréhensible. Ça risque de repousser des utilisateurs habitués à Excel ou l’équivalent en ligne. A-t-on un logiciel alternatif un peu plus sympa pour l’utilisateur ? Une solution technique est bien évidemment de coder au dessus de https://www.coralbits.com/libonion/ (en C, j'y ai contribué) ou https://www.webtoolkit.eu/wt (c'est européen) ou https://ocsigen.org/home/intro.html (c'est français). Bien sûr, il vous faut respecter le RGPD. https://www.cnil.fr/fr/comprendre-le-rgpd et d'autres reglémentations PS. Je cherche des contributeurs et futur utilisateurs au moteur d'inférences libre RefPerSys en https://github.com/RefPerSys/RefPerSys/ - si intéressés, contactez moi par courriel: au bureau (CEA LIST) vers basile.starynkevi...@cea.fr ou chez moi (en Île de France) vers bas...@starynkevitch.net -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: super miniPC 100% compatible linux
On 7/9/23 10:47, Basile Starynkevitch wrote: On 7/9/23 10:34, RogerT wrote: Bonjour, Pour me simplifier la vie et celle de l’utilisateur, je voudrais lui livrer un programme qui gère divers services réseau (pas de messagerie), directement implanté sur un mini PC, le plus petit et fiable possible. J’ai déjà fait ça sur Raspberry Pi mais au bout de quelques mois les cartes flash finissent par tomber en rade. De mon expérience (50% des machines). J’aimerais utiliser un mini PC le plus compact et économe en énergie possible. Éventuellement, car ces services sont déclenchés à heure fixe, la machine doit pouvoir se mettre en veille et en sortir. Ou être réveillée par WoL et mise ensuite en veille. Quels sont les modèles à privilégier ? Je pensais aussi à un vieux PC portable 2 coeurs et 2-4 Go de RAM qui pourrait faire l’affaire et dont la batterie permet aussi de faire face aux coupures de courant. Mais il y a écran/clavier dont je n’ai pas besoin. Pour la télémaintenance éventuelle, il faudrait que je puisse configurer une interface réseau et le faire se connecter à un vpn server que je contrôle pour pouvoir m’y connecter s’il a un accès à internet. Cette exigence suggère, pour un PC fixe, un onduleur compatible Linux. Pas mal le sont (en particulier, ceux avec liaison USB, pas trop récents) Je cherche donc une sorte de Raspberry Pi robuste (et optionnellement sur batterie : c’est simple, il suffit d’en rajouter une) qui soit 100% compatible linux (debian). Quel modèle recommandez-vous ? Plusieurs entreprises basées en France vendent des PC avec une compatibilité Linux assurée. En particulier, https://materiel.net/ (basé à Nantes, et ils ont des boutiques ailleurs), https://www.pcw.fr/ (78700 Conflans Sainte Honorine), https://www.linuxshop.fr/ (08390 BAIRON) https://keynux.com/ (06800 CAGNES-SUR-MER) DELL vend aussi des ordinateurs avec Linux pré-installé. https://www.dell.com/ HP vend aussi des ordinateurs avec Linux pré-installé. https://www.boulanger.com/ aussi vend des ordinateurs avec Linux préinstallé. IBM vend des serveurs sous Linux https://www.ibm.com/power Dans mon expérience, un ordinateur avec un Linux qui tourne peut faire tourner Debian sans difficulté majeure, surtout si le modèle est en vente depuis au moins 6 mois. (pour ma part, je cherche des partenaires intéressés par le moteur d'inférences http://refpersys.org/ qui tourne sous Linux) Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: super miniPC 100% compatible linux
On 7/9/23 10:34, RogerT wrote: Bonjour, Pour me simplifier la vie et celle de l’utilisateur, je voudrais lui livrer un programme qui gère divers services réseau (pas de messagerie), directement implanté sur un mini PC, le plus petit et fiable possible. J’ai déjà fait ça sur Raspberry Pi mais au bout de quelques mois les cartes flash finissent par tomber en rade. De mon expérience (50% des machines). J’aimerais utiliser un mini PC le plus compact et économe en énergie possible. Éventuellement, car ces services sont déclenchés à heure fixe, la machine doit pouvoir se mettre en veille et en sortir. Ou être réveillée par WoL et mise ensuite en veille. Quels sont les modèles à privilégier ? Je pensais aussi à un vieux PC portable 2 coeurs et 2-4 Go de RAM qui pourrait faire l’affaire et dont la batterie permet aussi de faire face aux coupures de courant. Mais il y a écran/clavier dont je n’ai pas besoin. Pour la télémaintenance éventuelle, il faudrait que je puisse configurer une interface réseau et le faire se connecter à un vpn server que je contrôle pour pouvoir m’y connecter s’il a un accès à internet. Je cherche donc une sorte de Raspberry Pi robuste (et optionnellement sur batterie : c’est simple, il suffit d’en rajouter une) qui soit 100% compatible linux (debian). Quel modèle recommandez-vous ? Plusieurs entreprises basées en France vendent des PC avec une compatibilité Linux assurée. En particulier, https://materiel.net/ (basé à Nantes, et ils ont des boutiques ailleurs), https://www.pcw.fr/ (78700 Conflans Sainte Honorine), https://www.linuxshop.fr/ (08390 BAIRON) https://keynux.com/ (06800 CAGNES-SUR-MER) DELL vend aussi des ordinateurs avec Linux pré-installé. https://www.dell.com/ HP vend aussi des ordinateurs avec Linux pré-installé. https://www.boulanger.com/ aussi vend des ordinateurs avec Linux préinstallé. IBM vend des serveurs sous Linux https://www.ibm.com/power Dans mon expérience, un ordinateur avec un Linux qui tourne peut faire tourner Debian sans difficulté majeure, surtout si le modèle est en vente depuis au moins 6 mois. (pour ma part, je cherche des partenaires intéressés par le moteur d'inférences http://refpersys.org/ qui tourne sous Linux) Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: WiFi Mac mini.
On 7/8/23 16:00, ilario.quinson@e.email wrote: Bonjour, je vient d'installer debian 12 dans mon mac mini (2011). Pendant l'installation un message me prévenait d'un problème avec un composant hardware. À la fin de l'installation je découvre qu'il s'agit de la carte wifi (de la quelle je peut bien m'en passer). Donc, juste pour savoir où dois je chercher pour résoudre le problème. La procédure générale commence par la détection du matériel. Les commandes lsusb (du paquet usbutils) et lspci (du paquet pciutils) sont alors utiles. Ensuite, on peut espérer trouver un pilote Debian pour la carte wifi. S'il n'en existe aucun, on pourrait se rabattre sur des dongles USB pour wifi. Librement. PS. Je cherche des contributeurs au moteur d'inférence https://github.com/RefPerSys/RefPerSys (et aussi http://refpersys.org/ ...) -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
utilisation d'une imprimante Epson XP 6105
Bonsoir la liste, J'ai une imprimante EPSON XP6105 (multi-fonction, donc aussi scanner) reliée à un ordinateur Ubuntu 23.05 (mais je pourrais le remplacer par un Debian/testing ou instable) avec AMD Ryzen Threadripper 2970WX 24-Core Processor La commande lsusb voit l'imprimante: root@rimski:/# lsusb Bus 008 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub Bus 007 Device 002: ID 046d:c52b Logitech, Inc. Unifying Receiver Bus 007 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub Bus 006 Device 002: ID 0424:5734 Microchip Technology, Inc. (formerly SMSC) USB5734 Bus 006 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub Bus 005 Device 005: ID 04b8:114c Seiko Epson Corp. XP-6100 Series Bus 005 Device 004: ID 0424:274c Microchip Technology, Inc. (formerly SMSC) Hub Controller Bus 005 Device 002: ID 0424:2734 Microchip Technology, Inc. (formerly SMSC) USB2734 Bus 005 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub Bus 004 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub Bus 003 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub Bus 002 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub Bus 001 Device 002: ID 046d:c521 Logitech, Inc. Cordless Mouse Receiver Bus 001 Device 004: ID 1b1c:1b41 Corsair Corsair Gaming K66 Keyboard Bus 001 Device 003: ID 1e71:170e NZXT Kraken X Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub J'ai vu https://forum.ubuntu-fr.org/viewtopic.php?id=2046576 Mais je n'arrive plus à imprimer, ni à installer les pilotes propriétaires EPSON epson-printer-utility_1.1.1-1lsb3.2_amd64.deb root@rimski:/# dpkg --force-depends -i /tmp/epson-printer-utility_1.1.1-1lsb3.2_amd64.deb Selecting previously unselected package epson-printer-utility. (Reading database ... 794813 files and directories currently installed.) Preparing to unpack .../epson-printer-utility_1.1.1-1lsb3.2_amd64.deb ... Unpacking epson-printer-utility (1.1.1-1lsb3.2) ... dpkg: epson-printer-utility: dependency problems, but configuring anyway as you requested: epson-printer-utility depends on lsb (>= 3.2); however: Package lsb is not installed. Setting up epson-printer-utility (1.1.1-1lsb3.2) ... Install Message > Start /usr/lib/epson-backend/setup to change setup. nice: ‘/usr/lib/epson-backend/ecbd’: No such file or directory Processing triggers for libc-bin (2.37-0ubuntu2) ...root@rimski:/# dpkg --force-depends -i /tmp/epson-inkjet-printer-escpr2_1.1.62-1lsb3.2_amd64.deb Selecting previously unselected package epson-inkjet-printer-escpr2. (Reading database ... 794875 files and directories currently installed.) Preparing to unpack .../epson-inkjet-printer-escpr2_1.1.62-1lsb3.2_amd64.deb ... Unpacking epson-inkjet-printer-escpr2 (1.1.62-1lsb3.2) ... dpkg: epson-inkjet-printer-escpr2: dependency problems, but configuring anyway as you requested: epson-inkjet-printer-escpr2 depends on lsb (>= 3.2); however: Package lsb is not installed. Setting up epson-inkjet-printer-escpr2 (1.1.62-1lsb3.2) ... Si vous pensez que réinstaller une Debian testing est nécessaire dites le moi. Merci. PS. Je cherche aussi des contributeurs / partenaires pour http://refpersys.org/ (un moteur d'inférences libre) -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Equivalent Canon logiciel ?
On 6/28/23 13:00, Basile Starynkevitch wrote: On 6/28/23 12:49, ptilou wrote: Neural network Upscaling Je n'y connais rien, mais gimp.org plus d'éventuels greffons à écrire? https://daviesmediadesign.com/fr/9-best-gimp-plugins-addons-for-2022/ https://docs.gimp.org/2.10/fr/gimp-scripting.html Et probablement https://gegl.org/ -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Equivalent Canon logiciel ?
On 6/28/23 12:49, ptilou wrote: Neural network Upscaling Je n'y connais rien, mais gimp.org plus d'éventuels greffons à écrire? https://daviesmediadesign.com/fr/9-best-gimp-plugins-addons-for-2022/ https://docs.gimp.org/2.10/fr/gimp-scripting.html -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Machine vérolée (alternatives à PHP)
On 6/26/23 14:01, Michel Verdier wrote: Le 26 juin 2023 Erwann Le Bras a écrit : -SPIP est basé sur PHP ; je ne pense pas que le système SPIP lui-même serait touché (pas assez populaire) , mais les lancement de PHP? Au contraire SPIP a eu son lot de failles, il vaut mieux avoir la dernière version. Pour info, je rappelle l'existence d'alternatives européennes libres à PHP, à mon avis trop méconnues et peu utilisées, mais meilleures: Si on veut coder un service Web en C: https://www.coralbits.com/libonion/ (principalement espagnole, mais j'y ai contribué quelques lignes) Si on veut coder un service Web en C++: https://www.webtoolkit.eu/wt Si on préfere coder un service Web en Ocaml (dont le typage statique ajoute en sûreté), https://ocsigen.org/home/intro.html (c'est même français) Ces trois alternatives sont non seulement européennes, mais compilées nativement. L'avantage est alors aussi l'efficacité par rapport à un interprète PHP (oui, je sais que PHP8 a un compilateur JIT) Et je crois aussi que ces trois alternatives seraient plus sûres (en terme de cybersecurité). Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Machine vérolée
On 6/23/23 10:30, BERTRAND Joël wrote: Sébastien Dinot a écrit : Le 2023-06-23 10:08, BERTRAND Joël a écrit : Ma question est donc assez simple ;-) Comment trouver par quoi sont lancés ces deux processus ? En pareille circonstance, il n'y a qu'une seule solution : analyse du disque depuis un système live sur clé USB. En effet, si un rootkit a été installé sur cette machine, ce qui semble être le cas, tu ne peux l'observer qu'à travers les lunettes que te donne le rootkit. :) Très bien. Et quelle est la marche à suivre. Je peux démarrer sur un liveCD ou autre chose, mais je ne suis pas au fait de ce qu'il faut faire après cela. D'abord et avant tout, isoler la machine du réseau Internet. (une solution est de débrancher le cable Ethernet par exemple) Ensuite, j'espère que /home est sur une partition externe (et que les données des serveurs y sont aussi). Dans cette hypothèse, le copier sur un disque monté en noeexec. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
consultation européenne en rapport avec les projets logiciels (financement européen futur de logiciels libres)
Bonsoir, Le développement de logiciels libres dans Debian en Europe requiert un appui aussi politique (au sens grec du mot: la vie de la cité) Ceux qui comme moi souhaitent que l'union européenne favorise des logiciels libres (par exemple http://refpersys.org/ et tant d'autres dont la majorité tournent sous Debian) peuvent donc être concerné par ce qui suit La Commission Européenne organise le 29 juin 2023 un atelier en ligne sur Horizon Europe à destination des parties prenantes dans le but de recueillir leur point de vue concernant la mise en œuvre et les nouveautés d'Horizon Europe ainsi que l'équilibre entre les TRL faibles et élevés dans l'ensemble du programme-cadre. Cet atelier fait suite à la plus grande consultation publique sur le passé, le présent et l'avenir des programmes-cadres de R qui s'est achevée en février dernier. Lors de sessions en petits groupes, les participants seront invités à prendre la parole et à partager leurs expériences individuelles avec Horizon Europe jusqu'à présent. La Commission tiendra compte des commentaires publiés dans toutes les langues de l'UE. Les *inscriptions sont ouvertes jusqu'à demain 23/06/23* : https://ec.europa.eu/eusurvey/runner/HorizonEuropeEvent. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Debian 12 - Migrer de 10 vers 12 ?
On 6/21/23 12:49, David Pinson wrote: Bonjour, J'ai un PC avec un Debian 10 Buster qui n'a jamais été upgradé jusqu'à maintenant. Est-ce que le passage direct de 10 vers 12 sera-t-il possible ou alors dois-je passer à 11 puis à 12 ? Ce passage là, je ne l'ai jamais fait. Mais il y a quelques années, quelque chose de similaire avait marché. Je vois plusieurs cas de figure. Le PC est un serveur. Alors je déconseillerais. Le PC a une partition /home séparée. Je tenterais l'upgrade, et si ça ne marche pas la ré-installation. Si /home est une partition séparée, il est utile d'y sauvegarder, avant la mise à jour (upgrade), le repertoire /etc (par exemple avec tar czvf /home/etc-avant.tgz /etc) de l'ancienne version de Debian (10). Le PC a la même partition pour tout. Là, c'est le plus risqué. De toutes façons une sauvegarde de vos données qui vous sont chères sur un support externe (ou un serveur distant, par rsync) s'impose avant la mise à jour. Enfin, si le PC est vieux (plus de 5 ans) il pourrait y avoir du souci avec (peut-être) le support d'anciennes cartes graphiques. Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Restaurer complètement l'environnement "graphique" du bureau après un redémarrage
On 6/19/23 15:06, Michel Verdier wrote: Le 19 juin 2023 Bernard Schoenacker a écrit : Ce n'est pas une histoire de window desktop manager, mais simplement une histoire qui concerne le système freedesktop... Je vous invite à consulter le tutoriel concernant xdg-open, voici un exemple : Je connais xdg, mais la demande initiale précise : Après un redémarrage, j'ai besoin de retrouver mon poste de travail dans l'état où il était avant ce redémarrage. Chaque logiciel ouvert et ses fenêtres. Je peux m'arranger avec un environnement choisi/fixe. Car je n'ai pas encore besoin que l'environnement, dans son état quelconque obtenu en travaillant, soit automatiquement mémorisé et restauré au redémarrage. C'est pourquoi un lancement automatique des applis à partir d'un window manager suffit. En toute bonne logique via un .xsession ou autre script de démarrage ça irait aussi. Et si le window manager est dynamique (comme dwm entre autres) ça couvre les problèmes de fenêtrage cités. A mon sens, cette solution ne restaure pas un GNU emacs (avec tous ses fichiers précédemment ouverts et affichés) et ne restaure pas le contenu affiché dans un émulateur de terminal comme xfce4-terminal (et encore moins un éventuel programme, comme un make, qui y tournait au moment de l'arrêt précédent). Je me permets d'insister: la persistence (hors hibernation du système Linux entier en zone de swap) de tous les processus actifs à un instant T n'est pas facilement possible sur un Linux usuel. Si toutes les processus et applications actives sont graphiques (ce qui exclut un compilateur GCC, une base de donnée PostGreSQL, un serveur web comme lighttpd, un débogueur comme GDB, etc) et si elles sont toutes bien codées et conformes à https://tronche.com/gui/x/icccm/ on peut espérer que le gestionnaire de fenêtres communiquera élégamment avec elles. Mais dans le cas général, un Linux a aussi des processus en ligne de commandes, et ceux-là ne sont pas restaurés par le gestionnaire de fenêtre. Pour s'en convaincre, compiler un gros logiciel, par exemple http://gcc.gnu.org/ ... depuis son code source (ça prend des heures) et éteindre sa machine (proprement, par le menu ) pendant la compilation. Au redémarrage, cette grosse compilation ne reprendra pas. La preuve en est est la complexité de systemd qui a été inventé pour gérer ce genre de choses. Du point de vue du dévelopeur, chaque programme et chaque processus devrait traiter correctement le signal SIGTERM et SIGPWR. C'est complexe à coder. Voir https://man7.org/linux/man-pages/man7/signal.7.html et https://man7.org/linux/man-pages/man7/pthreads.7.html et https://man7.org/linux/man-pages/man7/signal-safety.7.html Dans la vraie vie, les administrateurs systèmes ont du boulot, et les onduleurs sont utiles sur des machines Debian dont on voudrait qu'elle gérent fiablement les coupures de courant. Librement. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Restaurer complètement l'environnement "graphique" du bureau après un redémarrage
On 6/18/23 19:05, roger.tar...@free.fr wrote: Bonjour, Après un redémarrage, j'ai besoin de retrouver mon poste de travail dans l'état où il était avant ce redémarrage. Chaque logiciel ouvert et ses fenêtres. Pour les logiciels graphiques utilisant Qt (ou KDE) - voir https://qt.io ça ne peut se faire que si ces logiciels gèrent la notion (complexe) de session. https://doc.qt.io/qt-6/qsessionmanager.html Et encore, l'utilisateur peut avoir branché un nouvel écran d'une session à une autre. PAr exemple si il quitte son poste de travail un vendredi soir, et reviens le lundi matin avec un écran supplémentaire! Dans le détail, c'est donc extrêmement complexe. Mon éditeur favori (GNU emacs, que je recompile depuis ses sources tous les jours) ne le permet pas vraiment. Même s'il sait dumper son état dans des fichiers. Dans le moteur d'inférence RefPerSys en cours de développement (voir http://refpersys.org/ et https://github.com/RefPerSys/RefPerSys/ ...) la persistence orthogonale est incomplète et a demandé près de quatre mille ligne de code C++ (sans interface graphique). Donc le souhait de retrouver, tel qu'il est, l’environnent graphique, est compliqué, et à mon sens au delà de l'état de l'art. On peut évidemment passer par l'hibernation du système en zone de swap (qui ne marche que partiellement, et sur une machine qui n'évolue pas du tout) Il a existé des systèmes d'exploitation académiques entièrement persistants. https://ieeexplore.ieee.org/document/699447 (et aussi Grasshoper https://archive.cs.st-andrews.ac.uk/gh/ ou FullPliant https://www.fullpliant.org/ ) Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Ligne de commande
On 6/12/23 19:17, Simeone Dominique wrote: Chers amis, comment ajouter à sources.list la nouvelle deb de Bookworm sans vim et en ligne de commande direct! Bien à vous. Mr.Dominique Simeone On n'ajoute pas. On remplace. Si la commande à considérer est sed ou ed, sur le fichier /etc/apt/sources.list (ensuite aptitude update et aptitude upgrade, et croiser les doigts pour que tout se passe bien) Mon conseil est bien évidemment de sauvegarder /etc et /home sur un support ou machine externe (peut-être avec rsync) avant la mise à jour de la Debian (elle pourrait mal se passer, et il faut dans le pire cas réinstaller ex-nihilo) Librement. NB je cherche (comme d'habitude) des partenaires intéressés par http://refpersys.org/ Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
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)
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: sed ignorer une occurence
On 6/1/23 12:46, benoit wrote:
Bonjour
Je voudrais reformater du texte en colonne, qui a été justifié avec
des retours à la ligne (\n) et des "-" de coupure de mot
ex:
Je voudrais reformater du texte en colonne, qui a été just- «---
ifié avec des retours à la ligne (\n) et est - de coupure de
mot.
% sed -rz '{s/-\n//g;s/\n//g}' format.txt
Mais je ne suis pas satisfait du résultat parce que je voudrais
ignorer les points (.\n) suivit d'un retour à la ligne.
Merci d'avance
Une possibilité est l'utilisation de l'utilitaire
https://man7.org/linux/man-pages/man1/fmt.1.html
Une autre possibilité est de le faire sous GNU emacs
https://www.gnu.org/software/emacs/
(ave un peu d'huile de coude, c'est automatisable)
Une autre possibilité est de coder avec GNU bison et/ou GNU flex.
La difficulté est de définir ce qu'est un mot (on peut imaginer un texte
encodé en UTF-8 avec un mélange de mots en hébreu -ou chinois ou serbe
ou arabe ou simplement en anglais- et en français, et alors le problème
est bien plus difficile).
Il faut formaliser ce qu'est le texte d'entrée, et le jeu de caractères
utilisé (UTF-8) et le language humain utilisé.
Même pour du texte en français (ou en anglais), les règles de césure
sont complexes, je ne ne les connais pas toutes (la consultation d'une
grammaire ou d'un manuel typographique s'impose). Par exemple, je crois
me souvenir qu'un nombre (en français) comme 2 145 906 (la population de
Paris en 2020) ne doit pas être césuré!
Les logiciels de typographie libres (par exemple https://latex.org/ ou
Lout en https://ftp.gnu.org/gnu/lout.README ...) sont compliqué pour
gérer la césure correctement!
Librement
--
Basile Starynkevitch
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
Re: Exécutable étrange
On 5/31/23 22:05, Dethegeek wrote: Le site est motorisé avec PHP. Il y a en natif ou via un extension des fonctionnalités de gestion de mémoire partagée. Je me permets de rappeler à tous les web programmeurs l'existence d'alternative compilée pour faire du web dynamique: https://www.webtoolkit.eu/wt https://coralbits.com/static/onion/ https://ocsigen.org/home/intro.html ces trois alternatives sont compilées, libres et Européennes (à l'inverse de PHP, interprété et Nord américain, canadien je crois). Ocsigen est même majoritairement français (Vincent Beulat). Il est écrit en Ocaml dont l'auteur est Xavier Leroy, professeur au Collège de France -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Exécutable étrange
On 5/31/23 21:53, Dethegeek wrote: Ah oui, je m'etais mis en tête que c'était un emplacement sur disque, du fait qu'il y avait des exécutables. J'ai pas fait attention que le chemin commençait par /dev . Il n'y a aucune chance d'avoir encore une copie de ces exécutables ? Non. /dev/shm/ est documenté en https://www.man7.org/linux/man-pages/man7/shm_overview.7.html et https://www.man7.org/linux/man-pages/man3/shm_open.3.html Le mer. 31 mai 2023 à 21:32, Belaïd a écrit : Bonsoir, apt-file search /dev/shm ne donnera rien puisque ce dernier n'est qu'un emplacement mémoire Le mer. 31 mai 2023 à 21:26, Michel Verdier a écrit : Le 31 mai 2023 Dethegeek a écrit : > Une suggestion : chercher ces exécutables dans les paquets de Debian. Si > aucun exécutable n'est supposé être présent sans appartenir à un paquet du > (ou des) dépôt(s) configures dans apt, alors ça donnera des indices > supplémentaires apt-file search /dev/shm ne renvoie rien, mais on s'en doutait il n'y a pas d'exécutable dans /dev/shm (ni même dans /dev je pense ?) > Ensuite, si les exécutables suspects sont encore disponibles quelque part > (dans un backup par exemple), ce serait intéressant de les soumettre au > service en ligne virustotal. ou, pour rester sur debian, passer clamav dessus -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Exécutable étrange
On 5/31/23 09:55, BERTRAND Joël wrote: Bonjour à tous, Hier soir, je me suis aperçu qu'un serveur ramait énormément. En regardant de près, j'ai trouvé un exécutable étrange : /dev/shm/hwm avec les droits de www-data:www-data, un fichier de configuration et un autre programme (hwmon). /dev/shm/hwm utilisait 100% de chaque CPU. Je n'ai pas noté de trafic réseau anormal. J'ai viré les trois fichiers en question et j'ai inspecté en profondeur le système, je n'ai rien trouvé de plus. Je pense savoir comment il a été déposé ici (mais aucune trace dans les logs). Si un processus actif de pid 1234 est suspect (par exemple résultat de de ps ou top) utiliser /usr/bin/strace -p 1234 pour comprendre les appels systèmes qu'il fait. Et aussi /usr/bin/ls -l /proc/1234/ (conserver la sortie ...) Je m'inquieterais, et j'aurais tendance (pour une prochaine fois) non pas à supprimer les fichiers, mais à les copier ou renommer ailleurs (par exemple dans /var/tmp/ ...), puis à les examiner au minimum avec les commandes suivantes /bin/ls -l /var/tmp/hwm /var/tmp/hwmon /usr/bin/stat /var/tmp/hwm /var/tmp/hwmon /usr/bin/file /var/tmp/hwm /var/tmp/hwmon /usr/bin/ldd /var/tmp/hwm /var/tmp/hwmon Quelqu'un a-t-il déjà vu un truc pareil ? Je n'ai rien trouvé en googlisant. Ma parano me ferait penser (sur un serveur publiquement accessible sur Internet) à un virus informatique. Ceux-ci existent sous Linux. Si on veut comprendre un exécutable, on pourrait utiliser https://github.com/binsec développé par des collègues du CEA. Dont Sebastien Bardin en BCC. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: a quoi sert le depot local ?
On 5/28/23 10:51, hamster wrote: Salut. Le dépot local (/var/cache/apt/archives) grossit au fur et a mesure des mises a jour et finit par prendre beaucoup de place. On peut donc avoir envie de contenir cet embonpoint chronique, surtout si on a une partition racine séparée donc de taille limitée. D'autant que ce cache contient des vieux trucs qui ne servent plus, comme des logiciels qui ont été installés un jour et supprimés depuis. Il y a bien la commande apt autoclean pour faire du ménage dans ce cache mais ca ne supprime que les très vieilles versions des paquets, tellement vieilles qu'elles ne sont meme plus disponibles sur les dépots officiels. J'ai donc envie de supprimer tout le contenu du cache avec la commande apt clean. Mais je sais pas quelles seront les conséquences. Si ce cache existe c'est sans doute pour une raison. Vous en pensez quoi ? Il sert a quoi ce cache ? Merci pour vos lumieres. Il me semble que ce cache sert juste à mémoriser des métadonnées récentes sur les dépôts renseigné dans /etc/apt/sources.list Autrement dit, je crois que apt clean va vider ce cache, de sorte qu'aux prochains apt update et apt upgrade il y aura beaucoup de trafic réseau. Je peux me tromper. Mon projet libre du moment est refpersys.org Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: outil libre et simple de discussion et de partage de ressources ?
On 5/25/23 10:17, firenze.rt wrote: Bonjour tout le monde, Jami est un logiciel qui évolue très vite. Il est donc difficile de dire catégoriquement s'il est complètement fonctionnel ou pas. C'est à surveiller. Personnellement, Jami ne m'a jamais posé de problème pour l'usage que j'en fais (clavardage, partage de fichiers, visioconférence 1:1). Ce que que je note, c'est que les performances de Jami semblent largement tributaires du débit de connexion disponible. Pour le clavardage, le partage de fichiers, ou un simple appel audio l'ADSL suffit ; mais pour une visioconférence avec une qualité vidéo acceptable, la fibre est chaudement recommandée. A mon avis c'est lié à la vidéo-conférence pas à Debian. Simple calcul: on transmet 800x600 pixels sur 24 bits (3 octets) 25 fois par seconde. Ca fait 1440 kiloctets par seconde (ou 14 megabits par seconde). Ok, des algorithmes de compression de vidéo (coûteux en matériel et puissance de calcul) peuvent être utile. Mais la bande passante et la puissance de calcul restent nécessaire. Quels que soient la qualité du logiciel vidéo, celle de ses développeurs, et la licence libre de son code, ou le système d'exploitation (Linux ou non). Librement NB. Je cherche des partenaires pour http://refpersys.org/ -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: compiler xemacs-21.5.35 sous Debian (sid)
On 5/24/23 22:31, Étienne Mollier wrote: Bonjour Basile, Basile Starynkevitch, on 2023-05-24: /usr/src/Editors/xemacs-21.5.35/src/menubar-x.c:520: undefined reference to `x_focus_timestamp_really_sucks_fix_me_better' /usr/bin/ld: /usr/src/Editors/xemacs-21.5.35/src/menubar-x.c:520: undefined reference to `x_focus_timestamp_really_sucks_fix_me_better' /usr/bin/ld: /usr/src/Editors/xemacs-21.5.35/src/menubar-x.c:520: undefined reference to `x_focus_timestamp_really_sucks_fix_me_better' /usr/bin/ld: /usr/src/Editors/xemacs-21.5.35/src/menubar-x.c:520: undefined reference to `x_focus_timestamp_really_sucks_fix_me_better' /usr/bin/ld: /tmp/ccua0L0n.ltrans74.ltrans.o: in function `popup_selection_callback': /usr/src/Editors/xemacs-21.5.35/src/gui-x.c:308: undefined reference to `x_focus_timestamp_really_sucks_fix_me_better' collect2: error: ld returned 1 exit status Le problème de xemacs 21.5.35 est reproductible avec gcc-12 de Debian sid. Le symbole manquant est défini à deux emplacements différents dans le code source, ce qui ne facilite pas la résolution : $ grep x_focus_timestamp_really_sucks_fix_me_better -r src/menubar-x.c: extern Time x_focus_timestamp_really_sucks_fix_me_better; src/menubar-x.c: x_focus_timestamp_really_sucks_fix_me_better; src/gui-x.c: extern Time x_focus_timestamp_really_sucks_fix_me_better; src/gui-x.c: DEVICE_X_MOUSE_TIMESTAMP (d) = x_focus_timestamp_really_sucks_fix_me_better; src/event-gtk.c:Time x_focus_timestamp_really_sucks_fix_me_better; src/event-gtk.c: x_focus_timestamp_really_sucks_fix_me_better = time(0); lwlib/xlwmenu.c:Time x_focus_timestamp_really_sucks_fix_me_better; lwlib/xlwmenu.c: x_focus_timestamp_really_sucks_fix_me_better = lwlib/xlwmenu.c: x_focus_timestamp_really_sucks_fix_me_better = À mon avis ce serait à signaler à l'équipe de developpement amont de xemacs. Ce qui me surprend, c'est que le phénomène ne se soit pas déclenché plus tôt ; ces définitions ne sont apparemment pas nouvelles quand on regarde dans d'anciennes versions de xemacs. Si ça peut aider, Je n'ai pas réussi à faire un rapport de bogue sur xemacs.org (ma principale préoccupation actuelle est mon dossier de retraite, prévue le 1er nov. 2023; avec seulement 4 employeurs principaux -ENS Cachan, CEA, INRIA, université- c'est bigrement compliqué). Bien sûr à la retraite je continuerais de développer http://refpersys.org/ Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
compiler xemacs-21.5.35 sous Debian (sid)
>font_updated, off1) = 1; | ^ faces.h:124:3: note: at offset [-2147483648, -1] into destination object 'els_static' of size 4 124 | Stynarr_declare (unsigned_char, NUM_STATIC_CACHEL_FACES); | ^ faces.c:1232:47: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 1232 | Stynarr_at (cachel->font_final_stage, off1) = final_stage; | ^ faces.h:124:3: note: at offset [-2147483648, -1] into destination object 'els_static' of size 4 124 | Stynarr_declare (unsigned_char, NUM_STATIC_CACHEL_FACES); | ^ faces.c:1112:59: warning: writing 1 byte into a region of size 0 [-Wstringop-overflow=] 1112 | Stynarr_at (cachel->font_final_stage, off1) = | ^ faces.h:124:3: note: at offset [-2147483648, -1] into destination object 'els_static' of size 4 124 | Stynarr_declare (unsigned_char, NUM_STATIC_CACHEL_FACES); | ^ /usr/bin/ld: /tmp/ccua0L0n.ltrans74.ltrans.o: in function `pre_activate_callback': /usr/src/Editors/xemacs-21.5.35/src/menubar-x.c:520: undefined reference to `x_focus_timestamp_really_sucks_fix_me_better' /usr/bin/ld: /usr/src/Editors/xemacs-21.5.35/src/menubar-x.c:520: undefined reference to `x_focus_timestamp_really_sucks_fix_me_better' /usr/bin/ld: /usr/src/Editors/xemacs-21.5.35/src/menubar-x.c:520: undefined reference to `x_focus_timestamp_really_sucks_fix_me_better' /usr/bin/ld: /usr/src/Editors/xemacs-21.5.35/src/menubar-x.c:520: undefined reference to `x_focus_timestamp_really_sucks_fix_me_better' /usr/bin/ld: /tmp/ccua0L0n.ltrans74.ltrans.o: in function `popup_selection_callback': /usr/src/Editors/xemacs-21.5.35/src/gui-x.c:308: undefined reference to `x_focus_timestamp_really_sucks_fix_me_better' collect2: error: ld returned 1 exit status make[1]: *** [GNUmakefile:140: temacs] Error 1 make[1]: Leaving directory '/usr/src/Editors/xemacs-21.5.35/src' make: *** [GNUmakefile:104: src] Error 2 Avez vous réussi à compiler ce xemacs-21.5.35 qui vient de sortir (voir le site xemacs.org). Merci, librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Comment vérifier qu’un hôte debian est apte (!) à exécuter tout logiciel fourni ?
On 5/18/23 12:58, RogerT wrote: Je crois que ça doit rester simple : Il s’agit juste de ME remplacer derrière l’utilisateur qui ne veut personne derrière lui, pour terminer de configurer un hôte debian 11 installé par SES soins, pour qu’il ait tout ce que j’ai installé sur mes hôtes de dev et de test, sciemment et aussi sans y faire attention (ce qui m’a permis d’exécuter avec succès le programme compilé sur plus de 6 hôtes debian 11). Le logiciel a pu être compilé et exécuté avec succès pour les deux architectures cibles (voir fil de discussion précédent). Je suggère alors d'imprimer sur quelques feuilles de papier A4 une séquence de commandes à taper, et un numéro de téléphone où vous joindre. Bien sûr, si un contrat prévoit un dépannage dans les 10 minutes, c'est beaucoup plus compliqué et beaucoup plus cher. Je connais des boites qui ont vendus des PC tout complets avec leur logiciel spécialement pré-installés par leur soin (l'un des patrons est un ancien collègue du CEA). C'est peut-être une solution: vendre le PC tout entier, avec les logiciels installés par vos soins dans vos locaux, et ensuite le PC expédié par le transporteur favori. Ou bien la sous-traitance à des fournisseurs comme pcw.fr Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Comment vérifier qu’un hôte debian est apte (!) à exécuter tout logiciel fourni ?
On 5/18/23 11:37, RogerT wrote: Le besoin est beaucoup plus simple que ça. Le programme en C (ou autre) est livré compilé pour les deux architectures possibles x86_64 et aarch64. C’est essentiellement du contrôle de flot autour de fonctions/commandes disponibles après installation (automatisée) via apt. Le problème rencontré est que l’utilisateur ne veut aucune intervention extérieure et n’est pas compétent pour configurer parfaitement un hôte debian afin d’exécuter tout logiciel fourni. Je dois donc travailler à tâtons. Il s'agit donc de créer une distribution derivée de Debian et distribuée sur clef USB. Il me semble que si on vise à obtenir une clef robuste, qui boote sur la plupart des différents modèles de PC x86_64, c'est plusieurs semaines ou mois de travail. Pour l'architecture aarch64, prévoir autant de travail en plus. Et les limitations théoriques du théorème de Rice sont rapidement atteintes (le nombre de fonctions de la libc qui sont "Turing complètes" est époustouflant Beaucoup de programmes C simples font directement ou indirectement du fork/execve ou du dlopen ou popen ou system). Je n'ose pas évoquer la possibilité de faire face à des virus informatiques -qui existent aussi sous Linux- Bon courage. Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Comment vérifier qu’un hôte debian est apte (!) à exécuter tout logiciel fourni ?
On 5/17/23 21:58, RogerT wrote: Ce n’est pas un peu démesuré ? Je ne connais pas Ansible en pratique. Peut-être est-ce très simple… Il me semble qu’il s’agit juste de lister toutes les tâches que l’on fait tous quand on crée un hôte de zéro. C’est tellement habituel qu’on ne sait plus exactement tout ce qu’on fait. Il y a aussi ce système debian qui permet d’automatiser l’installation d’un hôte. Ex : https://debian-handbook.info/browse/fr-FR/stable/sect.automated-installation.html Le 17 mai 2023 à 13:52, Sébastien Dinot a écrit : Bonjour, RogerT a écrit : Existe-t-il un outil en CLI pour tester que l’hôte mis à disposition par l’utilisateur est correctement configuré ? De nos jours, j'aurais tendance à répondre « Ansible » : https://www.ansible.com/ Si j'ai bien compris la question, c'est théoriquement impossible de manière statique. A cause du théorème de Rice: https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Rice et en lien avec le problème de l'arrêt: https://fr.wikipedia.org/wiki/Probl%C3%A8me_de_l%27arr%C3%AAt Et en pratique, ça demeure souvent impossible parce qu'un (ou le) logiciel fourni (considéré) peut: embarquer un interprète comme Lua http://www.lua.org/ ou RefPerSys http://refpersys.org/ ou GNU guile https://www.gnu.org/software/guile/ ou Python https://python.org/ et https://docs.python.org/3/extending/index.html générer du code ou des scripts (l'exemple classique c'est GNU emacs ou PostGreSQL) qui dépendent des données futures de ce logiciel en utilisant https://gcc.gnu.org/onlinedocs/jit/ ou https://asmjit.com/ utiliser et charger des greffons fourni par l'utilisateur (et qui peuvent manquer à l'installation), (voir par exemple https://arxiv.org/pdf/1109.0779.pdf et https://gcc.gnu.org/onlinedocs/gccint/Plugins.html ...) - ce que savent faire GNU emacs, firefox, geany, des variantes de vim, etc... générer à l'exécution, en fonction des données, du code temporaire (qui aurait besoin d'autres logiciels installés) dans un greffon chargé par https://man7.org/linux/man-pages/man3/dlopen.3.html générer à l'exécution, en fonction des données, du code machine utilisant d'autres logiciels. Les exemples connus sont http://sbcl.org/ ou le logiciel CAIA de Jacques Pitrat (voir https://fr.wikipedia.org/wiki/Jacques_Pitrat ou le code C -autogénéré- en https://github.com/bstarynk/caia-pitrat ; Jacques Pitrat a écrit plusieurs livres expliquant cette approche, disponibles à la bibliothèque MIR de l'université Paris 6 Jussieu. Voir aussi les exposés en https://afia.asso.fr/journee-hommage-j-pitrat/ Il me semble donc qu'il faut restreindre la question posée, et dans le cas particulier où le logiciel fourni est codé en C, envisager (c'est complexe et demande des efforts et du temps) d'en analyser le code source avec l'outil Frama-C disponible en https://frama-c.com/ C'est l'une des raisons pour laquelle le packaging Debian demeure un art difficile. Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: HS: pourquoi les disques SSD sont peu utilisé dans les serveurs
On 5/16/23 13:14, Olivier wrote: Le mer. 10 mai 2023 à 22:12, Sébastien Dinot a écrit : * Nous avons plusieurs salles d'hébergement de serveurs au boulot et chaque année, nous coupons l'électricité le temps d'une journée afin d'effectuer une maintenance électrique du bâtiment. C'est un moment d'angoisse pour les admin. sys. car il y a presque toujours un ou plusieurs serveurs qui ne redémarrent pas après cette pause de 24 heures. Parfois, c'est un condensateur qui flanche sur la carte-mère, mais souvent, c'est un disque qui rend l'âme. Merci pour cette anecdote, même si elle me semble particulièrement angoissante ! Y aurait-il une action faite pendant la maintenance électrique qui pourrait expliquer ces pannes au démarrage ? Au risque de parait idiot, j'aurais tendance à suggérer les actions suivantes: 1. prévoir longtemps à l'avance la coupure. 2. arrêter préventivement la plupart des services logiciels (sauf ssh), en particulier les services Web 3. utiliser la commande /bin/sync 4. lancer une sauvegarde totale (non incrémentale) sur des serveurs distants (peut-être avec rsync ou unison ou peut-être scp). Pour les bases de données, les dumper en totalité (probablement au format SQL) sur un serveur distant. 5. utiliser la commande /bin/sync Par expérience empirique: les ordinateurs s’abîment à chaque démarrage ou extinction (et c'est à ce moment là qu'ils peuvent -plus souvent qu'à d'autres- manifester des pannes matérielles). Ils se remplissent de poussières, et il arrive qu'ils flambent (littéralement). Il n'est pas inutile d'en nettoyer l'intérieur (quand ils sont éteints et débranchés) tous les trimestres. Mais je ne suis pas expert, juste un vieux informaticien bientôt à la retraite. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Bookworm ou pas ?
On 5/12/23 11:42, Bureau LxVx wrote: Bonjour, Je dois changer mon ssd qui devient "trop étroit" au niveau / La Debian 12 arrive très prochainement. Habituellement, j'attends quelques mois avant de migrer (install propre). Si j'installe cette testing avant sa sortie officielle, quels risques "majeurs" ? Sylvie Aucun risque sérieux, sauf si l'ordinateur en question est un serveur pour des applications critiques. Dans ce dernier cas, vous suivez forcément des normes lourdes (ISO9001 et ISO27001) qui vous obligent à des procédures et des approbations tierces, et donc devraient vous convrir. N'oubliez pas qu'un disque SSD (quel que soit le système d'exploitation) peut tomber en panne. Donc il vous faut sauvegarder les données importantes (je suggère une sauvegarde par crontab et rsync distant du /etc/ et du /home) Librement -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
Re: Je veux courrieller !
On 5/10/23 12:24, ptilou wrote: Slt, Alors il faut deja que cela s’installe ! (On cherche plus des bons ?) En anglais technique, il y a les MUA (mail user agents), logiciels clients proches (physiquement) de l'utilisateur et tournant sur sa machine locale (son portable ou téléphone le plus souvent) et les MTA (mail transfer agents, https://fr.wikipedia.org/wiki/Mail_Transfer_Agent ), logiciels serveurs tournant à distance (en général) sur des serveurs. On devrait aussi mentionner les MDA (mail delivery agents). https://fr.wikipedia.org/wiki/Mail_Delivery_Agent Une possibilité parmi d'autres est d'utiliser thunderbird comme MUA client de courriel (ou mutt) et d'acheter le service de gestion (un MTA bien configuré) des boites aux lettres, par exemple chez ovh.com ou protonmail.com Ceux qui veulent un MTA sur leur serveur Debian devront apprendre les rudiments des protocoles SMTP et IMAP (au minimum) et configurer un MTA, par exemple postfix.org ou sendmail ou exim ou qmail. Pour ma part, j'ai su dans ma jeunesse configurer sendmail, mais je préfère actuellement payer quelques dizaines d'€ par mois pour le service courriel chez ovh.com ou gandi.net De mémoire, postfix a une architecture logiciellle intéressante, multi processus. La compilation d'un logiciel libre MTA prend des dizaines de minutes, sa configuration peut vous prendre plus d'une semaine à temps plein (sauf si vous faites ça très souvent). Librement PS. J'ai plusieurs adresses mails - une pour chaque activité professionnelle et quelques unes pour les personnelles. -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/
