Cyril Brulebois a écrit 693 commentaires

  • [^] # Re: Bonne question...

    Posté par  (site web personnel) . En réponse au message ordre des arguments de cc. Évalué à 5 (+3/-0).

    Qui est cc ?

    Il n'y a pas unicité, ni d'implémentation, ni de version, donc commencer par préciser un peu de qui on parle pourrait avoir un sens…

    Le programme en question peut jouer un rôle également.

    Typiquement, un bête programme avec un include <math.h> et un appel à exp() compile trivialement avec cc (ou gcc directement, vers lequel cc pointe avec le système d'alternatives dans sa configuration par défaut sur ce système), mais pas avec clang, ce qui se corrige en ajoutant un -lm, indifféremment à gauche ou à droite…

    (gcc 12.2.0-14+deb12u1, clang 14.0.6, le tout sur Debian 12 en amd64.)

    Debian Consultant @ DEBAMAX

  • [^] # Re: Noyau signé

    Posté par  (site web personnel) . En réponse au message installation linux sur PC portable. Évalué à 3 (+1/-0).

    La solution classique pour les distributions Linux gérant Secure Boot est d'avoir un composant shim « signé par Microsoft » (je raccourcis) qui fait ensuite confiance à un chargeur de démarrage (typiquement GRUB) qui est « signé par la distribution » qui passe ensuite la main à un noyau « signé par la distribution ».

    Dans un fonctionnement nominal pour un utilisateur lambda, il n'y a pas lieu de se poser la question d'une quelconque clé MOK. Quand celle-ci est utilisée, c'est souvent pour signer certains modules noyau compilés localement, s'ajoutant aux modules noyau qui viennent avec le noyau « signé par la distribution ».

    Debian Consultant @ DEBAMAX

  • # Mettre à jour la configuration du chargeur de démarrage

    Posté par  (site web personnel) . En réponse au message démarrage de Linux Mint 22.2 Cinnamon. Évalué à 6 (+4/-0).

    La configuration se fait probablement via /etc/default/grub, les lignes intéressantes ressemblant à celles-ci :

    GRUB_CMDLINE_LINUX_DEFAULT="quiet"
    GRUB_CMDLINE_LINUX=""
    

    Tu as probablement quiet splash sur la première, qu'il te suffit de remplacer par les options de ton choix.

    Ensuite, une mise à jour manuelle peut être demandée par update-grub. Le reste du temps, les installations/mises à jour des paquets noyau, de GRUB, etc. devraient respecter les modifications apportées.

    Tu peux vérifier le fichier /boot/grub/grub.cfg avant/après pour vérifier l'impact des manipulations sans avoir à redémarrer.

    Debian Consultant @ DEBAMAX

  • [^] # Re: Master Boot Record

    Posté par  (site web personnel) . En réponse au message Problème lecture clé USB par la voiture. Évalué à 10 (+11/-0).

    Pour être un peu plus complet…

    • la clé peut être configurée avec une table de partitions MS-DOS (ou MBR) ;
    • la clé peut être configurée avec une table de partitions GPT ;
    • la clé peut ne pas avoir de table de partitions.

    Il est tout à fait possible de formater une clé avec le système de fichiers de son choix sans avoir de table de partitions (e.g. en travaillant sur /dev/sdb plutôt que sur /dev/sdb1) !

    Cela étant, vu la cible, j'imagine qu'il est attendu d'avoir une table de partitions MS-DOS, listant une unique partition, formatée en FAT32. Si cela ne convient pas, j'essaierais sans table de partitions.

    (Je laisse de côté l'aspect « clé bootable », c'est bien plus compliqué que « MBR modifié »…)

    Debian Consultant @ DEBAMAX

  • # xournal(++) ?

    Posté par  (site web personnel) . En réponse au message Rendre un PDF sans formulaires -> avec formulaires interactifs. Évalué à 8 (+6/-0).

    Tout est dans le titre.

    Debian Consultant @ DEBAMAX

  • # Versions et options du noyau ?

    Posté par  (site web personnel) . En réponse au message Pb Pop!Os live boot. Évalué à 4 (+2/-0).

    Les problèmes avec l'IOMMU sont plus ou moins récurrents, et il existe des options pour ajuster cela à l'exécution.

    Cf. https://www.kernel.org/doc/html/next/x86/iommu.html pour un peu de contexte et quelques pistes, et https://www.kernel.org/doc/html/latest/admin-guide/kernel-parameters.html pour toutes les options et valeurs disponibles.

    La différence de comportement entre les deux systèmes peut être liée aux versions de noyau Linux sur chacun et/ou aux options qui sont positionnées sur la ligne de commande de noyau.

    Celle-ci peut être modifiée à l'invite du chargeur de démarrage (probablement GRUB), pour le démarrage à venir.

    Debian Consultant @ DEBAMAX

  • # Toulibre ?

    Posté par  (site web personnel) . En réponse au message Où trouver PC portable Linux et aide pour se lancer à Toulouse . Évalué à 5 (+3/-0).

    Je ne connais que de nom… https://toulibre.org/

    Debian Consultant @ DEBAMAX

  • [^] # Re: Partition vs disque

    Posté par  (site web personnel) . En réponse au message Installation chiffré / clavier US. Évalué à 5 (+3/-0).

    Je crois que le point d'Axone était plutôt que si tu demandes à ne chiffrer que /home, le problème du déverrouillage du système de fichiers racine depuis GRUB disparaît…

    Sinon grub2-mklayout existe, mais ça demande probablement un peu de gymnastique spécifique à la distribution pour configurer cela de manière permanente (i.e. ≠ editor /boot/grub/grub.cfg).

    Debian Consultant @ DEBAMAX

  • # Boule de cristal…

    Posté par  (site web personnel) . En réponse au message Déplacement du home qui a foiré. Évalué à 3 (+1/-0).

    … ou à défaut, partager le contenu de /etc/fstab actuel et de l'ancien…

    Debian Consultant @ DEBAMAX

  • # Outil(s) utilisé(s) ?

    Posté par  (site web personnel) . En réponse au message Linux ne monte pas le disque qu'il vient de formater en ext4. Évalué à 3 (+1/-0).

    Qu'as-tu utilisé pour effectuer le partitionnement ? Il faut bien noter que le partitionnement (ajuster la table de partitions, en en ajoutant/modifiant/supprimant — la modification incluant le changement de type de partition) et le formatage (le fait de créer un système de fichiers que l'on peut effectivement monter et utiliser) sont deux opérations distinctes. Un outil graphique peut proposer les deux (en proposant ou non de manière spontanée le formatage après un changement dans la table de partitions), tandis qu'en ligne de commande on trouve par exemple fdisk et parted pour la première opération et la ribambelle de mkfs* pour la seconde.

    Quoi qu'il en soit, il peut y avoir des indices dans dmesg et/ou journalctl concernant les raisons de l'échec du montage.

    Debian Consultant @ DEBAMAX

  • # Quelques questions de base

    Posté par  (site web personnel) . En réponse au message Live Debian généré avec live-build : IP OK mais DNS KO. Évalué à 3 (+1/-0).

    Tu as fait plein d'essais, OK, mais si on repart du début…

    • version de live-build et version cible de Debian ?
    • quel composant s'occupe du réseau ?
    • /etc/resolv.conf est-il modifié au runtime ou bien nameserver dhcp est-il positionné au moment du build de l'image ?
    • que se passe-t-il si tu lances un dhclient manuellement ?

    Un point m'interpelle :

    En revanche, alors que le serveur DHCP fournit bien une adresse IP et un masque, la configuration DNS n’est pas correcte.

    As-tu vérifié la configuration du serveur DHCP ? Fournit-il une configuration nameserver correcte ? Un petit tcpdump ou wireshark des familles (côté serveur ou client) peut aider à arriver à une réponse catégorique sur ce point.

    Debian Consultant @ DEBAMAX

  • [^] # Re: Que dit la box ?

    Posté par  (site web personnel) . En réponse au message configuration sans écran d'une Raspberry pi. Évalué à 3 (+1/-0).

    Je voulais dire quand tu branches/débranches le RPi. Juste pour vérifier qu'il n'y a pas de négociation avec le contrôleur USB de ton hôte, et que c'est de la pure alimentation.

    Quand j'écris « Voici l'intégralité du dmesg lors du cycle de déconnexion/connexion de mon dongle USB pour souris Logitech (dont j'ai emprunté le port pour le test) », cela signifie que j'ai :

    • débranché le dongle Logitech ;
    • branché le Pi à la place ;
    • effectué le test de configuration réseau, filaire, Wi-Fi, et téléchargement sur le Pi ;
    • éteint et débranché le Pi ;
    • rebranché le dongle Logitech.

    L'A/R du Pi est totalement transparent d'après dmesg, qui ne parle que du dongle Logitech.

    Debian Consultant @ DEBAMAX

  • [^] # Re: Que dit la box ?

    Posté par  (site web personnel) . En réponse au message configuration sans écran d'une Raspberry pi. Évalué à 5 (+3/-0).

    As-tu essayé la commande en question ? C'est une façon curieuse de l'écrire, mais cela permet effectivement de scanner un /24, et non une unique adresse…

    kibi@tokyo:~$ timeout 1 nmap -v -p 22 192.168.0.42/24|head -4
    Starting Nmap 7.93 ( https://nmap.org ) at 2025-08-28 20:06 CEST
    Initiating Ping Scan at 20:06
    Scanning 256 hosts [2 ports/host]
    Terminated
    

    Debian Consultant @ DEBAMAX

  • [^] # Re: Que dit la box ?

    Posté par  (site web personnel) . En réponse au message configuration sans écran d'une Raspberry pi. Évalué à 3 (+1/-0).

    Voici l'intégralité du dmesg lors du cycle de déconnexion/connexion de mon dongle USB pour souris Logitech (dont j'ai emprunté le port pour le test) :

    [Thu Aug 28 19:08:47 2025] usb 3-1: USB disconnect, device number 39
    [Thu Aug 28 19:18:55 2025] usb 3-1: new full-speed USB device number 40 using xhci_hcd
    [Thu Aug 28 19:18:56 2025] usb 3-1: New USB device found, idVendor=046d, idProduct=c53f, bcdDevice=55.01
    [Thu Aug 28 19:18:56 2025] usb 3-1: New USB device strings: Mfr=1, Product=2, SerialNumber=0
    [Thu Aug 28 19:18:56 2025] usb 3-1: Product: USB Receiver
    [Thu Aug 28 19:18:56 2025] usb 3-1: Manufacturer: Logitech
    [Thu Aug 28 19:18:56 2025] logitech-djreceiver 0003:046D:C53F.002D: hidraw1: USB HID v1.11 Keyboard [Logitech USB Receiver] on usb-0000:00:14.0-1/input0
    [Thu Aug 28 19:18:56 2025] logitech-djreceiver 0003:046D:C53F.002E: hiddev0,hidraw2: USB HID v1.11 Mouse [Logitech USB Receiver] on usb-0000:00:14.0-1/input1
    [Thu Aug 28 19:18:56 2025] logitech-djreceiver 0003:046D:C53F.002F: hiddev1,hidraw3: USB HID v1.11 Device [Logitech USB Receiver] on usb-0000:00:14.0-1/input2
    [Thu Aug 28 19:18:56 2025] logitech-djreceiver 0003:046D:C53F.002F: device of type eQUAD Lightspeed 1.1 (0x0d) connected on slot 1
    [Thu Aug 28 19:18:56 2025] logitech-hidpp-device 0003:046D:4074.0030: hidpp_root_get_protocol_version: received protocol error 0x08
    [Thu Aug 28 19:18:56 2025] input: Logitech G305 as /devices/pci0000:00/0000:00:14.0/usb3/3-1/3-1:1.2/0003:046D:C53F.002F/0003:046D:4074.0030/input/input59
    [Thu Aug 28 19:18:56 2025] logitech-hidpp-device 0003:046D:4074.0030: input,hidraw4: USB HID v1.11 Keyboard [Logitech G305] on usb-0000:00:14.0-1/input2:1
    [Thu Aug 28 19:19:09 2025] logitech-hidpp-device 0003:046D:4074.0030: HID++ 4.2 device connected.
    

    J'ai également eu un Pi 3 branché sur un port USB random d'une vieille machine, sans aucune instabilité, pendant des années.

    Qu'on incite à utiliser une alimentation dédiée, pourquoi pas. Qu'on prétende qu'il est impossible d'avoir un Pi qui fonctionne sans, en revanche…

    Debian Consultant @ DEBAMAX

  • [^] # Re: Que dit la box ?

    Posté par  (site web personnel) . En réponse au message configuration sans écran d'une Raspberry pi. Évalué à 4 (+2/-0). Dernière modification le 28 août 2025 à 19:18.

    Quant à la connexion Wi-Fi, elle s'établit sans problème et je dépasse les 10 Mo/s en téléchargeant la première ISO Debian qui passe (que ça soit netinst ou DVD-1)…

    Debian Consultant @ DEBAMAX

  • [^] # Re: Que dit la box ?

    Posté par  (site web personnel) . En réponse au message configuration sans écran d'une Raspberry pi. Évalué à 5 (+3/-0).

    Étant donné que j'ai l'impression d'être pris pour un menteur et/ou un incompétent (pas merci, vraiment), je viens de faire un nouveau test et la réponse à « Hein ?????? » est « Oui !!!!!! ».

    root@no-lies:~# xargs -0 < /proc/device-tree/compatible 
    raspberrypi,3-model-b brcm,bcm2837
    
    root@no-lies:~# ip link set wlan0 up
    
    root@no-lies:~# iw dev wlan0 scan | grep supersecretssid
        SSID: supersecretssid
    

    Il s'agit d'un Raspberry Pi 3 Model B Rev 1.2 (d'après dmesg), branché sur mon laptop.

    Debian Consultant @ DEBAMAX

  • [^] # Re: Que dit la box ?

    Posté par  (site web personnel) . En réponse au message configuration sans écran d'une Raspberry pi. Évalué à 3 (+1/-0).

    D'expérience, c'est suffisant pour faire tourner un Pi 3(B+) de base mais je n'ai jamais joué avec la partie RF…

    Tu as probablement une bonne raison de vouloir configurer et utiliser le Wi-Fi, mais tu pourrais peut-être essayer en filaire dans un premier temps, pour t'assurer que le Pi démarre, que tu peux t'y connecter, avant de démêler d'éventuels problèmes spécifiques à la partie RF ?

    Debian Consultant @ DEBAMAX

  • [^] # Re: la réponse est donnée dans le message

    Posté par  (site web personnel) . En réponse au message Impossibilité de mettre à jour les composants du système. Évalué à 2 (+1/-1).

    Effectivement, sudo permet de demander à passer d'utilisatrice dite « non privilégiée » à administratrice. Cela est nécessaire quand on veut modifier des éléments du système, plutôt que juste ses propres fichiers.

    Ça pourrait être pertinent de mentionner la distribution Linux utilisée ainsi que sa version.

    Hypothèse pour ma part : une mise à jour a provoqué un dysfonctionnement du système… gérant les mises à jour, d'où la nécessité de lancer des commandes manuellement.

    Dans ce genre de cas, il peut y avoir besoin de rattraper en deux fois :

    # Demander au gestionnaire de paquets bas niveau (dpkg) de récupérer là où il en était :
    sudo dpkg --configure -a
    
    # Demander au gestionnaire de paquets haut niveau (apt) de récupérer là où il en était :
    sudo apt-get install -f
    

    Si la deuxième commande mentionne des paquets à supprimer, autant nous copier-coller l'intégralité de la sortie. S'il ne s'agit que de mises à jour ou paquets à installer, c'est probablement OK de poursuivre.

    Après tout cela, avec un peu de chance, un redémarrage du système devrait remettre le système de gestion des mises à jour (qui s'appuie sur les composants mentionnés plus haut) dans le bon sens.

    Good Night, and Good Luck.

    Debian Consultant @ DEBAMAX

  • # Configuration « hidden hotspot » ?

    Posté par  (site web personnel) . En réponse au message point accès mobile depuis Android pour Linux. Évalué à 4 (+2/-0). Dernière modification le 20 août 2025 à 04:34.

    Il existe souvent une option permettant de cacher le SSID (plus précisément pour empêcher sa diffusion sur le réseau), j'imagine que ça peut être activé sur ton téléphone. Sinon, c'est comme pour les systèmes d'exploitation pour ordinateur c'est une très bonne idée de préciser la version d'Android, ce qui permettra aux spécialistes de t'aider plus précisément. ;-)

    Sinon, pour vérifier côté client, tu peux toujours entrer le SSID à la main plutôt que de cliquer dans la liste des réseaux disponibles.

    Édition : Détails de fonctionnement sur Wikipédia (en).

    Debian Consultant @ DEBAMAX

  • [^] # Re: Lire la documentation

    Posté par  (site web personnel) . En réponse au message Debian 12 => 13 / "Pas assez d'espace disponible sur /var/cache/apt/archives/". Évalué à 3 (+1/-0).

    (En fonction de la taille de la mise à jour et de celle de la RAM, on peut même imaginer passer par un tmpfs…)

    Debian Consultant @ DEBAMAX

  • [^] # Re: Lire la documentation

    Posté par  (site web personnel) . En réponse au message Debian 12 => 13 / "Pas assez d'espace disponible sur /var/cache/apt/archives/". Évalué à 6 (+4/-0).

    Sinon un bind mount temporaire depuis un FS/LV qui a plus d'espace libre vers /var/cache/apt/archives fait le job : plus (“plu”) de limitation d'espace disque pour le stockage temporaire des paquets et plus (“plusse”) de place sur le FS racine le temps de déployer les nouveaux paquets, avant le nettoyage habituel (e.g. autopurge).

    Debian Consultant @ DEBAMAX

  • # Version(s) de Linux Mint ?

    Posté par  (site web personnel) . En réponse au message pourquoi Linux Mint 22.1 fonctionne tres bien en live et tres tres lentement en dur ?. Évalué à 5 (+3/-0). Dernière modification le 08 août 2025 à 21:24.

    Le titre et le premier paragraphe mentionnent 24.1, alors que la partie « Matériel » mentionne 22.1.

    Debian Consultant @ DEBAMAX

  • # ls -l /etc/apache2/sites-enabled/

    Posté par  (site web personnel) . En réponse au message Apache, et les virtualhosts. Évalué à 5.

    Tout est dans le titre.

    (Presque tout : c'est ce répertoire qui compte, habituellement en ayant des liens symboliques vers les fichiers du répertoire d'à côté. Pas d'obligation cependant, on peut très bien avoir des fichiers normaux dedans.)

    Debian Consultant @ DEBAMAX

  • [^] # Re: Quel est le cas d'usage ?

    Posté par  (site web personnel) . En réponse au message [résolu] Création image disque en "ignorant" l'espace inutilisé. Évalué à 3.

    Par défaut, pigz et pixz utilisent tous les cœurs disponibles. Respectivement :

           -p --processes n
                  Allow up to n processes (default is the number of online processors)
    

    et :

           -p CPUS
               Set the number of CPU cores to use. By default pixz will use the number of cores on the system.
    

    Debian Consultant @ DEBAMAX

  • [^] # Re: Quel est le cas d'usage ?

    Posté par  (site web personnel) . En réponse au message [résolu] Création image disque en "ignorant" l'espace inutilisé. Évalué à 5.

    Voir pigz et pixz si des cœurs s'ennuient.

    Debian Consultant @ DEBAMAX