21 résultats pour informatique linux system uefi

Informatique

050 · UEFI

…GPT (GUID Partition Table). Pour créer des partitions sous Linux sur un disque avec un système UEFI, vous devrez créer une partition séparée pour le stockage de l'ESP (EFI System Partition). Cette partition doit être fo…

Informatique

Linux Mint 21.2 « Victoria »

Linux Mint 21.2 « Victoria » Linux Mint 21.2, nom de code Victoria, est une version à support long terme (LTS) maintenue jusqu'en 2027. Annoncée le 16 juillet 2023 sur le blog officiel de Linux Mint, elle apporte des log…

Informatique

120 · Partitions sous Linux

120 · Partitions sous Linux Sous Linux, les partitions sont des sections distinctes du disque dur ou de la mémoire flash qui peuvent être utilisées pour stocker des données séparément. Les partitions peuvent être créées …

Informatique

Nouveautés de Linux Mint 22.2 « Zara »

Nouveautés de Linux Mint 22.2 « Zara » Linux Mint 22.2, nom de code « Zara », est la troisième mouture de la branche 22 inaugurée par Wilma à l’été 2024, puis poursuivie par Xia en janvier 2025. Disponible depuis le 4 se…

Informatique

Changer de réseau Wi-Fi sur un Raspberry Pi

…peu de contexte avant de taper des commandes Sur un système Linux, "se connecter au Wi-Fi" implique trois étages qui doivent collaborer : 1. Le pilote de la puce Wi-Fi, fourni par le noyau, qui sait parler à la radio. 2.…

Informatique

systemctl

…https:access.redhat.com/documentation/fr-fr/redhatenterpriselinux/7/html/systemadministratorsguide/sect-managingserviceswithsystemd-power>

Informatique

Fedora : écrire une image ISO sur une clé USB

…eator mentionné dans les vieux tutoriels. Il fonctionne sur Linux, Windows et macOS et présente un gros avantage : il peut télécharger l'ISO pour vous si vous ne l'avez pas encore. Installation Sur Fedora : ouvrez un ter…

Informatique

Raspberry Pi OS

…aptés à la programmation, à l'éducation et à divers projets informatiques. Raspberry Pi OS est basé sur Debian, mais il comporte quelques modifications et optimisations spécifiques pour s'adapter aux besoins des utilisat…

Informatique

121 · Types de partitions

121 · Types de partitions Sous Linux, il existe plusieurs types de partitions que vous pouvez utiliser en fonction de vos besoins : Partition de système de fichiers Linux (ext2, ext3, ext4, btfrs) : il s'agit du type de …

Informatique

Dovecot - fournisseur IMAP

…ui dépend de votre implémentation spécifique d'IMAP. Sur un système Debian avec Dovecot, vous pouvez trouver les certificats dans le répertoire . Ce répertoire peut inclure des fichiers tels que le certificat SSL, la clé…

Journal geek

Abandon de Legacy BIOS

Abandon de Legacy BIOS Plusieurs distributions Linux visent à abandonner la prise en charge de Legacy BIOS au profit de l'utilisation exclusive de l'UEFI. Le Legacy BIOS est un type de BIOS (Basic Input/Output System) ut…

Loisirs

Sélection de magazines

…berry Pi et du Raspberry Pi Pico : électronique, robotique, informatique embarquée, programmation Python et MicroPython. The MagPi <https://magpi.raspberrypi.com/> — <https://magpi.cc/> Magazine officiel mensuel en angla…

Progressive Web Apps — Dossier 2026

…ligne, de recevoir des notifications push, de s'intégrer au système d'exploitation, tout en restant un site web indexable par les moteurs de recherche. Le mot clé est progressive : l'expérience s'enrichit selon les capac…

Journal geek

Quad9

…"DNS". Ajoutez l'adresse IP 9.9.9.9 comme serveur DNS. Sur Linux : La méthode peut varier selon la distribution Linux que vous utilisez. En général, vous pouvez modifier le fichier et y ajouter "nameserver 9.9.9.9" pou…

Électronique

Panorama des familles de SoC Espressif

…norama des familles de SoC Espressif Introduction Espressif Systems produit plusieurs familles de System on Chip (SoC) dédiés à l'IoT, toutes orientées vers la connectivité sans fil et le faible coût. Les deux grandes li…

Électronique

Où acheter son Raspberry Pi 4 ?

…e rétrogaming jusqu'à la PS1) ; la compatibilité avec un écosystème d'accessoires (boîtiers, HAT) déjà déployé ; le Pi 4 3 Go à 100 €, nouveau venu qui se positionne intelligemment comme alternative économique ; l'occasi…