twittersteam github

Créer une extension Gnome

  |   3  |  Scripts
Cette commande permet de créer directement le dossier au bon endroit :
Code BASH :
gnome-shell-extension-tool --create-extension

Par la suite, il vous sera demandé un nom d'extension, une description et un nom de projet.

Tout le reste se fait par le langage javascript dans le fichier extension.js (qui s'ouvre automatiquement à la création)