Pour fusionner de façon rapide quoique un peu « rustre » des fichiers mp3, voici la commande magique (avec Ubuntu). On met tous les fichiers à fusionner dans un même répertoire, dans l’ordre voulu (si l’ordre alphabétique n’est pas l’ordre voulu, il… Lire la suite →
Je partage souvent des liens découverts sur mon téléphone dans un dossier de veille avec d’autres types de ressources (sur Moodle par exemple) sur Nextcloud Cela donne un fichier .url qui ne s’ouvre pas directement dans Firefox sur linux. Pénible…. Lire la suite →
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 ?