Nom de l’auteur/autrice :Pierre-Jean MARQUET

Pour libérer la place sur un périphérique très rempli , comme une clé USB : $ ls -alF /media/pjm/… lister

Voici comment bien gérer ses listes de diffusion / de contacts :

1) Générer des polices de caractères dans /boot/grub/fonts plus grandes, plus jolies : sudo grub-mkfont –output=/boot/grub/fonts/DejaVuSansMono24.pf2 –size=24 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf sudo grub-mkfont

https://itsfoss.com/macos-like-linux-distros https://ubuntubudgie.org/downloads https://elementary.io https://cdimage.deepin.com/releases

S’il n’est pas déjà installé, installer nautilus complet : $ sudo apt install nautilus*$ nautilus Démarrer > Applications par défaut