Comment insérer des flèches →, ←, ↑, ↓ avec son clavier
Vous rédigez un document et vous souhaitez l’agrémenter de flèches pour le structurer visuellement et guider vos lecteurs…
Catégorie
Linux
38 articles
Explorez le monde de Linux grâce à nos tutoriels, conseils, dépannages et optimisations pour les distributions Linux les plus populaires telles que Ubuntu, Debian, Linux Mint, et bien d’autres.
Ajouter un utilisateur à un ou plusieurs groupes sous Linux
La gestion des utilisateurs et des groupes fait partie des tâches courantes d’un administrateur système Linux. Que ce…
Comment faire une capture d’écran sur PC Windows, Mac et Linux
La capture d’écran, aussi appelée copie d’écran (ou screenshot en anglais), est une fonctionnalité indispensable. Elle permet de…
Installer une nouvelle police de caractères sur Linux (Ubuntu)
Vous en avez assez de voir toujours les mêmes polices de caractères dans vos documents, présentations ou projets…
Bloquer l’accès à certains sites web avec le fichier hosts
Vous cherchez un moyen simple et radical de bloquer l’accès à certains sites web sur votre ordinateur ?…
Installer Linux sur votre PC : le guide complet
Linux est sans aucun doute la meilleure alternative à Windows, notamment grâce à sa gratuité, sa polyvalence et…
Bottles : exécuter des applications et jeux Windows sur Linux
Il faut bien l’avouer, même si Linux est un excellent système d’exploitation gratuit, il lui manque quand même…
Les 10 meilleures distributions Linux pour 2025
Linux est devenu une alternative sérieuse aux systèmes d’exploitation traditionnels, tels que Windows ou macOS. Il existe de…
Comment activer et utiliser le bureau à distance sur Ubuntu Linux
Le bureau à distance est une fonctionnalité bien pratique pour contrôler un ordinateur depuis un autre emplacement. Que…
Comment mettre à jour Ubuntu Linux : 2 méthodes
Pour bénéficier des derniers correctifs de sécurité et des nouvelles fonctionnalités, il est impératif de mettre à jour…
Comment modifier l’ordre de démarrage de GRUB ?
GRUB (GRand Unified Bootloader) est le chargeur d’amorçage le plus populaire pour les systèmes Linux. Il offre la…
15 meilleurs raccourcis clavier avec la touche CTRL
Les raccourcis clavier ont une importance primordiale pour la productivité. Ces commandes rapides vous permettent de gagner du…
Installer Ubuntu en dual-boot avec Windows 11 sur votre PC
Vous cherchez un guide complet pour installer Ubuntu en dual-boot avec Windows 11 sur votre PC ? Vous…
Comment changer les DNS sur Linux Mint et Ubuntu ?
Linux Mint et Ubuntu sont deux distributions de Linux très populaires, offrant une grande flexibilité et des fonctionnalités…