Argos – Une extension pour GNOME Shell vraiment très intéressante

Plop, si vous tournez sous GNOME Shell que vous aimez Bash et les extensions, je pense qu’Argos va vous plaire. Comme vous l’avez sans doute remarqué, les extensions GNOME sont conçues dans le but d’afficher un certain nombre d’infos dans le panel, ou de vous faciliter la vie en rendant plus rapide l’accès à certaines fonctions (toujours via le panel). Dans la pratique c’est cool, mais si vous voulez vous la faire aux petits oignons et modifier ou créer votre propre extension, ça devient vite très coton.

Il vous faudra maîtriser une API JavaScript, qui il faut bien l’avouer n’est pas très engageante. Argos va vous permettre de remédier à ça, en vous offrant la possibilité de créer vos propres menus et fonctions dans un langage bien plus sympa, à savoir Bash. En gros vous écrivez vos scripts et Argos se charge de gérer et d’envoyer les sorties standards vers le panel. C’est tout con, mais c’est bien pensé.

Comme vous pouvez le voir sur l’image ci-dessus, c’est super simple. Une fois l’extension installée, vous trouverez un fichier Argos.sh dans le répertoire /home/user/.config/argos, qu’il vous suffira d’éditer pour y ajouter les fonctions ou les infos que vous souhaitez voir apparaître dans le menu  (ici par exemple j’ai ajouté la date). Enregistrez ensuite les modifications et le tour est joué. Les fonctions écrites dans le fichier sont immédiatement disponibles.

Si vous avez envie d’en savoir un peu plus sur Argos, jetez un œil sur la page Github du projet ou installez la bête en vous rendant ici.

Amusez-vous bien et merci à Mickael .J pour l’info.