Articles parus en septembre 2025
Connaître sa version installée de php avec Debian
27 septembre 2025
C'est tout simple quand on sait comment faire :
$ apt-cache policy php
php:
Installé : 2:7.3+69
Candidat : 2:7.3+69
Table de version :
*** 2:7.3+69 500
500 http://debian.univ-lorraine.fr/debian buster/main amd64 Packages
100 /var/lib/dpkg/status
Cela vous donnera tout lesinformations voulues !
Bien à vous
Changer le nom d'un disque USB ou clef USB sous GNU/Linux
27 septembre 2025
Afin de changer le nom racine d'un périférique USB formaté avec un système de fichier Microsoft (fat16, fat32, extFat, ntfs, etc.), il convient au préalable d'installer le paquet mtool.
Une fois le disque repéré, vous pouvez le faire facilement avec l'utilitaire en ligne de commande lsblk.
Par exempel le fichier de périphérique associé à la partition contenant le système de fichiers de type FAT32 est /dev/sdx1, il conviendra de saisir la commande avec les droits root :