Google fournit aux aficionados de la fenêtre et de la pomme des outils permettant de créer des dossiers synchronisés avec votre compte Google Drive. Pour les linuxiens, il faut donc se contenter du fait maison.
Continuer la lecture de Créer un dossier de synchro Google Drive sous Linux
Ayant récemment fait l’acquisition d’un clavier retro-éclairé pour mon PC de bureau, j’ai eu la mauvaise surprise de constater que le rétro-éclairage n’était pas nativement pris en charge par Linux Mint. Je vous donne donc ici la solution que j’ai trouvée pour corriger cette frustration.
Continuer la lecture de Résoudre le problème du rétro-éclairage du clavier sous Linux
Dans cet article, je montre comment tracer des graphiques avec PGFPlots depuis deux fichiers de points distincts. Continuer la lecture de Fusionner deux fichiers de données pour PGFPlots
Si vous écrivez un script qui n’a pas pour objectif de tourner dans un terminal (un service par exemple, ou un script Nautilus), peut-être voudrez-vous quand même obtenir les résultats dudit script, ne serait-ce que pour le debuggage.
Continuer la lecture de Rediriger les messages d’un script dans des fichiers log
En passant de Debian à Mint, j’ai eu le plaisir de découvrir un nouveau lecteur audio : Banshee. Au moins aussi puissant qu’Amarok, il se démarque par sa bien meilleure intégration dans Gnome/Mate (car pas besoin de KDE). De même qu’avec Amarok Remote, il est possible d’utiliser son smartphone Android pour contrôler la lecture de Banshee. Continuer la lecture de Contrôle du lecteur Banshee depuis Android
