Pour installer les polices pour tous les utilisateurs, il suffit de : copier les fichiers correspondants (ttf ou autre) dans le répertoire /usr/share/fonts (il faut être super-utilisateur) ; reconstruire les fichiers de cache d’information de polices : sudo fc-cache -f… Lire la suite →
Récupérer facilement les images d’un fichier PDF
Renseigner le proxy pour télécharger des paquets apt ou snap ou pour télécharger avec la commande wget
Comment réduire une fenêtre à la moitié de l’écran avec un raccourci clavier ?
Lister les dernières connexions
Suite à une mauvaise manipulation, plus d’accès au DDE : que faire ?
Comment configurer un VPN et l’utiliser avec une clé OTP pour le télétravail ?
Comment récupérer le chemin vers un fichier ou un dossier par “drag and drop” dans un terminal ?
Comment installer une nouvelle police de caractère dans Ubuntu ?
où “utilisateur” est l’identifiant permet de changer le mot de passe (en root) sans connaître le précédent.