1. Extensions GNOME Shell
Je tiens à préciser en premier lieu que je ne rentrerai pas dans le troll que génèrent les différentes versions de ce gestionnaire de fenêtres. Passons à la présentation des outils utiles au développement d'application/extension.
1.1 gnome-shell-extension-tool
C'est un script Python à exécuter dans un terminal. Son but est de faciliter la mise en place d'une extension par le biais de questions successives pour mener à la création des fichiers nécessaires à la construction de notre application. Voici son synopsis :
$> gnome-shell-extension-tool --help
Usage: gnome-shell-extension-tool [options]
Options:
-h, --help show this help message and exit
--create-extension Create a new GNOME Shell extension
1.2 Looking Glass
C'est un utilitaire intégré à GNOME Shell permettant d'inspecter/de déboguer les applications. Il dispose d'un design plutôt rétro, puisqu'en effet, on pourrait croire qu'il utilise la librairie ncurses pour son...
- Accédez à tous les contenus de Connect en illimité
- Découvrez des listes de lecture et des contenus Premium
- Consultez les nouveaux articles en avant-première