Créer une clé USB d’installation depuis Gnome
Pour créer une clé USB d’installation depuis un fichier ISO, on donne souvent une technique en ligne de commande sous Linux qui se résume à : # cp debian.iso /dev/sdX …
Pour créer une clé USB d’installation depuis un fichier ISO, on donne souvent une technique en ligne de commande sous Linux qui se résume à : # cp debian.iso /dev/sdX …
Je viens de découvrir le correcteur d’orthographe française développé par un français : Grammalecte. Ça s’installe très facilement sur LibreOffice si vous voulez essayer : Télécharger le fichier .oxt (extension …
J’ai installé ma propre instance de Mastodon : https://social.jesuislibre.net Le tutoriel écrit en français par Angristan est limpide et je n’ai pas eu de soucis pour l’installer sur Debian 9. …
Un message sur la liste de diffusion des annonces Debian indique que la sortie de la prochaine Debian stable est prévue pour le 17 juin. Vous pouvez vous référer à …
Blender donne maintenant de meilleures performances de calcul avec les cartes AMD que Nvidia. Comparaison des temps de rendu avec accélération GPU (OpenCL sur AMD, Cuda sur Nvidia) pour carte …
Avez-vous jeté un oeil à la liste des raccourcis claviers pour le bureau Gnome? J’y ai découvert des trucs bien sympas comme : verrouiller sa session basculer entre les fenêtres …
Le logiciel libre a t’il une couleur politique ? C’est la question posée par Raphael Herzog sur son blog. Le débat est intéressant, je vous invite à y contribuer (pour …
Il y a un bug très gênant lorsque l’on veut connecter un périphérique Bluetooth audio (A2DP) sur Debian, celui-ci n’apparaît pas comme sortie audio dans Pulseaudio. Pourquoi? Parce que GDM …
Les mises à jour de sécurité Android s’enchaînent chez Google. Tous les mois, il publie une liste affolante de trous de sécurités bouchés. Encore ce mois ci, ce sont une …
Dans un article de blog, Mark Shuttleworth annonce qu’Ubuntu utilisera Gnome comme bureau par défaut pour sa version 18.04 (qui sort en avril 2018). C’est la fin de son épopée …