Comment changer de serveur DNS dans Ubuntu ?
Voici plusieurs méthodes pour changer de serveur DNS dans Ubuntu et ses variantes officielles comme (Kubuntu, Xubuntu, Lubuntu, …).
Actualités, conseils, tutoriels et astuces sur Linux (Debian, Ubuntu, Linux Mint,…), les logiciels libres et le numérique
Voici plusieurs méthodes pour changer de serveur DNS dans Ubuntu et ses variantes officielles comme (Kubuntu, Xubuntu, Lubuntu, …).
Voici un guide pour supprimer un PPA sur Ubuntu et ses dérivées comme Linux Mint par l’interface graphique ou en ligne de commande.
Lire la suiteComment supprimer un PPA sur Ubuntu ou Linux Mint
Firefox 113 est sorti le 11 avril 2023. Voici les principales nouveautés et améliorations de cette nouvelle version du navigateur libre.
Dans certaines versions d’Ubuntu, par défaut, le lancement de paquets AppImage ne fonctionnent pas. Voici un guide pour corriger ce problème.
Lire la suiteComment faire fonctionner les AppImage sur Ubuntu ?
Audacity 3.3 est sorti, le 24 avril 2023. Voici les principales nouveautés et améliorations de cette nouvelle version.
Kdenlive 23.04 est sorti le 24 avril 2023 avec notamment la possibilité d’imbriquer des séquences, la reconnaissance vocale Whisper d’OpenAI.
Voici un guide pour mettre à niveau Ubuntu vers la version 23.04 “Lunar Lobster” par l’interface graphique ou en ligne de commande.
Lire la suiteComment mettre à niveau vers Ubuntu 23.04 “Lunar Lobster” ?
Ubuntu 23.04, dont le nom de code est “Lunar Lobster”, est sortie en 20 avril 2023. Voici les principales nouveautés de cette version.
Lire la suiteUbuntu 23.04 “Lunar Lobster” est disponible ! Quoi de neuf ?
Fedora Linux 38 est sortie officiellement le 18 avril 2023. Voici un aperçu des principales nouveautés de cette nouvelle version !
Lire la suiteFedora Linux 38 est disponible ! Quoi de neuf ?
Firefox 112 est sorti le 11 avril 2023. Dans cette nouvelle version, pas de grandes nouveautés, mais nouvelles fonctions intéressantes.