Category: linux

Total 61 Posts

Comment installer Ghostty sur Ubuntu

Ghostty est un émulateur de terminal léger et performant. Ce guide se concentre sur l’installation de Ghostty sur une distribution Ubuntu à l’aide du package Debian fourni sur le site officiel. Suivez ces étapes simples pour mettre en place Ghostty rapidement. Prérequis Avant de commencer, assurez-vous que : Étape 1

Continue Reading

Windows copie de répertoires en gardant les attributs de sécurité

Robocopy est une commande bien connue de Windows quand on cherche à copier des arborescences de répertoires importantes, voir de synchroniser 2 emplacements à la manière d’un rsync sous Linux. Les possibilités de paramétrage sont très nombreuses et peuvent être trouvés ici : https://learn.microsoft.com/fr-fr/windows-server/administration/windows-commands/robocopy J’ai eu à planifier une arborescence

Continue Reading

Erreur definer lors d’un mysqldump

Récemment j’ai eu un petit souci sur un serveur avec une base de données impossible à sauvegarder avec mysqldump. J’obtenais systématiquement l’erreur suivante : C’est bien la première fois que je suis confronté à cette erreur, les recherches sur google ne m’ont pas donné de solution clair. J’ai fini par

Continue Reading

Installer Deepin Desktop Environnement sur Linux Ubuntu / Mint

Deepin Desktop Environnement a été développé initialement pour la distribution Linux Deepin. Il propose un environnement desktop moderne et très flatteur. Etant utilisateur de Linux Mint et de l’environnement Cinnamon depuis de longues années, c’est avec curiosité que j’ai tenté l’installation de Deepin. Ajouter les repository UbuntuDDE PPA Pour les

Continue Reading