Petit billet en passant – j'utilise très peu d'extensions pour GNOME Shell – principalement pour souligner la praticité de l'une d'entre elles qui s'est vite rendue indispensable : Clipboard Indicator. Et évoquer quelques raccourcis clavier bien pratiques (en soi, ou faute d'extension équivalente pour GNOME Shell).

Lire la suite de Mes extensions et raccourcis clavier pour GNOME Shell

Il y a quasiment cinq ans, en même temps que sortait la version 3.4 de GNOME, était inauguré le site extensions.gnome.org qui concrétisait le projet SweetTooth (wiki du projet, article d'explications), soit un logiciel en ligne permettant, à la façon du site addons.mozilla.org ou du magasin d'applications Android, d'installer/désinstaller facilement des extensions pour GNOME Shell.

Jusqu'à présent, un plugin NPAPI était requis pour pouvoir faire fonctionner le site avec un navigateur comme Firefox. Ce qui n'est pas sans inconvénients – j'en vois deux pour ma part :

Lire la suite de Gérer les extensions pour GNOME Shell avec Firefox en 2017

Que retenir de cette année écoulée en matière de logiciels libres selon moi ?

Lire la suite de Rétrospective 2016

Mes amis, cela fait 10 ans (et le pouce) que je boote sur un système GNU/Linux.

La Grande Aventure a commencée avec une Ubuntu 5.10 (nom de code « Breezy Badger ») : il s'agissait alors de la troisième version de cette distribution GNU/Linux qui faisait parler d'elle en misant sur la facilité d'installation et d'utilisation pour cibler le grand public (plutôt que le monde de l'entreprise).

Lire la suite de Joyeux anniversaire à moi : 10 ans de GNU/Linux

Déjà la fin de l'année, et, pour la quatrième fois, je vous propose un petit retour sur l'année écoulée.

Lire la suite de Mon (rapide) bilan de libriste de l'année 2014