Une introduction aux extensions de coquille de gnome

Une introduction aux extensions de coquille de gnome
Gnome a une interface élégante, conçue pour soutenir votre travail tout en étant hors de votre chemin lorsque cela est possible. Ces considérations dépendent de vos préférences. Certaines personnes veulent tous les graphismes et les icônes, certains veulent minimiser les distractions tout en se souvenant comment exécuter des trucs avec des raccourcis clavier. Un problème connu est que Gnome a enlevé le menu d'application qui est courant dans d'autres systèmes. Vous pouvez ajouter une extension pour l'ajouter vous-même. Vous écrivez des extensions pour Gnome en JavaScript, bien qu'il y ait des moments où vous pouvez créer un lien vers d'autres langues. Parce que vous utilisez JavaScript, vous pouvez également utiliser des packages CSS tels que Bootstrap.

Que changent les extensions?

Cela peut sembler une question non pertinente, mais lorsque vous commencez à dépanner, vous devez le savoir. Toute extension ajoute réellement du code au gnome-coquille. Pour cette raison, votre bureau se bloquera en raison d'une mauvaise extension, alors testez soigneusement avant de faire confiance à n'importe quel code. C'est une bonne idée de s'en souvenir à la fois lorsque vous installez les extensions des autres et lorsque vous vous codez.

Vous pouvez apprendre à faire une extension rapidement si vous connaissez JavaScript et que vous suivez la documentation du Wiki Gnome. Vous pouvez commencer par utiliser les outils standard qui créent les fichiers requis pour vous. Il n'y a cependant que deux fichiers requis, donc les créer vous-même n'est pas une grosse tâche.

Comment installer les extensions des autres?

Avant de décider de faire votre propre extension, c'est une bonne idée de voir ce qui est déjà. De cette façon, vous avez également l'occasion de vérifier comment ils sont écrits. La meilleure façon d'apprendre à programmer est de combiner des tutoriels et de voir les autres code. La façon officielle d'installer une extension est d'utiliser la page Web d'extensions Gnome. À l'aide d'un plugin, vous pouvez contrôler vos extensions à l'aide de votre navigateur (Firefox et Chrome). Vous avez également la possibilité de télécharger vous-même l'ensemble de l'arbre d'annuaire. Si vous le faites, vous devez placer le tout sous votre répertoire d'origine. Les fichiers vont dans son propre répertoire sous: '~ /.local / share / gnome-shell / extensions / '. Pour les configurations système, vous le placez 'usr / share / gnome-shell / extensions', mais ne le faites qu'après l'avoir validé et si vous administrez l'ordinateur pour de nombreux utilisateurs. Vous pouvez trouver de nombreuses extensions sur Github et d'autres sites similaires. Dans ce cas, vous devez vraiment l'essayer sous votre utilisateur, ou même un utilisateur temporaire.

Ce qui a été fait avant?

Vous vous demandez peut-être quelles extensions que les gens ont conçues avant vous? Certains sont intéressants; Indicateur météorologique dans la barre des tâches, les minuteries de pomodoro et les indicateurs de systèmes. Vous pouvez également trouver un dessin de programme de dessin à l'écran, que vous appelez avec Super-Shift-D. Très pratique si vous souhaitez annoter une capture d'écran. Si quelque chose sur le bureau Gnome vous agace, comme une notification que vous aimeriez éviter. Regardez autour de vous, la plupart des choses ont des ajustements sous la forme d'une extension. Le bouton Activités n'est pas apprécié par tous, alors cachez-le avec une extension. Vous pouvez même obtenir de l'aide lorsque vous faites votre thé!

La meilleure façon de commencer

Lorsque vous êtes tenté de commencer à créer le vôtre, vous devez apprendre JavaScript bien que vous puissiez utiliser d'autres langues pour la logique principale de votre programme. Votre extension complétera le code Gnome-Shell, ce qui rend utile de connaître suffisamment de javascript pour le dépannage. Il existe des scripts prêts à construire votre extension, à les utiliser puis à rechercher des extensions similaires que vous pouvez étudier pour voir comment elles sont mises en œuvre. La documentation officielle des démarreurs est bonne pour vous aider à démarrer. Vous devez d'abord identifier ce que fera votre extension. Aura-t-il un menu déroulant, un menu de panneau ou peut-être des animations. Vous pouvez trouver lequel fait quoi à travers la documentation, mais voici une courte panne de quelques fonctionnalités.

Clutter - présente les composants graphiques. ST - GNOME Toolkit, utilisez-les pour créer des boîtes, des bacs et plus. Twener - couramment utilisé pour les animations, pas partie de gnome.

Ce sont les trois principaux composants que vous pouvez utiliser pour faire une extension. La documentation est très technique, alors recherchez des exemples partout où vous le pouvez. La meilleure façon d'apprendre est d'utiliser une partie à la fois.

Plus de tutoriels

Il peut être très utile de suivre quelques tutoriels, ne vous en faites pas, la meilleure façon d'apprendre est de faire des erreurs. Pourtant, il est plus facile de gravir la courbe d'apprentissage avec un tutoriel.

Un joli tutoriel montrant le taux de change collecté à partir du transfert. Un plus long ici montre beaucoup plus de détails et est plus détaillé. Le tutoriel est de 2012 mais est toujours valable à bien des égards.

Conclusion

Pour commencer à faire des extensions de gnome, votre premier défi est de trouver une bonne documentation. La seconde consiste à avoir un plan de match pour ce que vous pensez que votre besoin devrait faire. Il sera très intéressant pour vous si vous avez la base JavaScript qui est nécessaire, bien que vous puissiez probablement passer le tutoriel existant même avec des compétences rudimentaires en JavaScript.