Recherche de site Web

Accéder à l'USB depuis une machine virtuelle dans VirtualBox sous Linux

Vous pouvez totalement accéder au stockage USB depuis l’intérieur de la machine virtuelle. Voici comment procéder si vous utilisez VirtualBox sous Linux.

Lorsque vous branchez une clé USB, votre système d'exploitation hôte peut facilement y accéder et utiliser les fichiers qu'elle co

Lire la suite →

Tapez le symbole Infinity ∞ dans Ubuntu et autres Linux

Vous n'êtes peut-être pas « l'homme qui connaissait l'infini », mais vous deviendrez sûrement « la personne qui savait taper le symbole de l'infini » après avoir suivi ce didacticiel.

Parfois, les choses simples deviennent trop compliquées.

Prenons l'exemple de l'écriture du sy

Lire la suite →

Comment installer VSCodium sur Ubuntu Linux

Vous n'êtes pas satisfait de la télémétrie dans VS Code ? Installez VSCodium, un clone 100% open source de VS Code.

VSCodium est la « version open source complète » du VS Code de Microsoft.

Il s'agit essentiellement d'un clone du VS Code qui supprime tout signe de télémétrie. L

Lire la suite →

Comment installer VirtualBox sur Windows [2 façons]

Guide facile à suivre pour vous aider à installer Oracle VirtualBox sur Windows afin que vous puissiez installer Linux sur des machines virtuelles.

VirtualBox est l'un des meilleurs logiciels de virtualisation du marché.

Si vous souhaitez installer Linux sur Windows sur une mac

Lire la suite →

[Résolu] Impossible d'ajouter un PPA : erreur « Ce PPA ne prend pas en charge »

Vous essayez d'ajouter un PPA et obtenez l'erreur « Impossible d'ajouter un PPA : « Ce PPA ne prend pas en charge » dans Ubuntu ? Voici quoi faire à propos de cette erreur.

Voici donc le scénario. Vous essayez d'installer un logiciel dans Ubuntu à l'aide d'un PPA.

Vous ajoutez

Lire la suite →

Personnalisation de GNOME avec l'extension Just Perfection

Ajoutez de nouveaux aspects de personnalisation à votre bureau Linux avec l'extension Just Perfection GNOME.

GNOME est l'un des environnements de bureau les plus populaires dans le monde Linux.

Mais si nous discutons de l'aspect personnalisable de GNOME, vous n'avez pas autant

Lire la suite →

21 raccourcis de terminal Linux utiles que les utilisateurs professionnels adorent

Devenez plus efficace dans le terminal Linux en maîtrisant ces raccourcis clavier super utiles.

Bien sûr, l'apprentissage des commandes Linux devrait toujours être votre priorité, mais une fois que vous maîtrisez la ligne de commande, vous devez vous concentrer sur une autre chose. Lire la suite →

4 façons simples de personnaliser Budgie Desktop sous Linux

Budgie est une approche moderne de l'expérience de bureau. Vous pouvez l’améliorer davantage à votre guise grâce à ces conseils de personnalisation.

Si vous me demandez de moderniser le bureau MATE avec des fonctionnalités supplémentaires et la prise en charge de GTK, je pourrais pro

Lire la suite →

17 ajustements du gestionnaire de fichiers Dolphin pour les utilisateurs de KDE

Profitez pleinement de la capacité de personnalisation de KDE. Ajustez le gestionnaire de fichiers Dolphin à votre guise grâce à ces conseils.

Savez-vous quel est le super pouvoir de KDE ? Personnalisation.

Oui! KDE est entièrement personnalisable. Chaque aspect du bureau peut

Lire la suite →

Un guide pour compiler vous-même le noyau Linux

Un guide du bricoleur pour découvrir par vous-même la compilation du dernier noyau Linux.

Vous pourriez être intéressé par la compilation du noyau Linux vous-même, pour de nombreuses raisons. Il peut s'agir, sans toutefois s'y limiter, de l'un des éléments suivants :