Gnome

Une introduction aux extensions de shell GNOME

Une introduction aux extensions de shell GNOME
GNOME a une interface élégante, conçue pour prendre en charge votre travail tout en étant à l'écart lorsque cela est possible. Ces considérations dépendent de vos préférences. Certaines personnes veulent tous les graphiques et les icônes, d'autres veulent minimiser les distractions tout en se rappelant comment exécuter des trucs avec des raccourcis clavier. Un problème connu est que GNOME a supprimé le menu d'application qui est commun 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 des liens vers d'autres langages. Parce que vous utilisez JavaScript, vous pouvez également utiliser des packages CSS tels que Bootstrap.

Qu'est-ce que les extensions changent?

Cela peut sembler une question non pertinente, mais lorsque vous commencez le dépannage, vous devez savoir ceci. Toute extension ajoute en fait du code au gnome-shell. Pour cette raison, votre bureau plantera à cause d'une mauvaise extension, alors testez soigneusement avant de faire confiance à un code. C'est une bonne idée de s'en souvenir à la fois lorsque vous installez les extensions d'autres personnes et lorsque vous codez vous-même.

Vous pouvez apprendre à faire une extension rapidement si vous connaissez JavaScript et que vous suivez la documentation sur le wiki GNOME. Vous pouvez commencer par utiliser les outils standard qui créent les fichiers requis pour vous. Cependant, il n'y a que deux fichiers requis, donc les créer vous-même n'est pas une grande tâche.

Comment installer les extensions d'autres personnes?

Avant de vous décider à faire votre propre extension, c'est une bonne idée de voir ce qui est déjà autour. De cette façon, vous avez également la possibilité de vérifier comment ils sont écrits. La meilleure façon d'apprendre à programmer est de combiner des tutoriels avec le code des autres. La façon officielle d'installer une extension est d'utiliser la page Web des extensions GNOME. A 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'intégralité de l'arborescence des répertoires. Si vous le faites, vous devez placer le tout dans votre répertoire personnel. Les fichiers vont dans son propre répertoire sous : '~/.local/share/gnome-shell/extensions/'. Pour les configurations système, vous le mettez dans '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 les gens ont conçues avant vous? Certains sont intéressants ; Indicateur météo dans la barre des tâches, minuteries Pomodoro et indicateurs système. Vous pouvez également trouver un programme de dessin Draw On The Screen, que vous appelez avec Super-Shift-D. Très pratique si vous souhaitez annoter une capture d'écran. Si quelque chose à propos du bureau GNOME vous ennuie, comme une notification que vous voudriez é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é de tous, alors cachez-le avec une extension. Vous pouvez même obtenir de l'aide pour préparer votre thé!

La meilleure façon de commencer

Lorsque vous êtes tenté de créer le vôtre, vous devez apprendre JavaScript bien que vous puissiez utiliser d'autres langages 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 à créer votre extension, utilisez-les, puis recherchez des extensions similaires que vous pouvez étudier pour voir comment elles sont implémentées. La documentation officielle pour les débutants est bonne pour vous aider à démarrer. Vous devez d'abord identifier ce que votre extension fera. Y aura-t-il un menu déroulant, un menu de panneau ou peut-être des animations. Vous pouvez trouver lequel fait quoi dans la documentation, mais voici un bref aperçu de quelques fonctionnalités.

Clutter - Dispose les composants graphiques. St - GNOME Toolkit, utilisez-les pour créer des boîtes, des bacs et plus encore. Tweener - Couramment utilisé pour les animations, ne fait pas partie de GNOME.

Ce sont les trois principaux composants que vous pouvez utiliser pour créer une extension. La documentation est très technique alors cherchez 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, mais n'en faites pas trop, 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 tel qu'il est collecté auprès de transfer wise. Un plus long ici montre beaucoup plus de détails et est plus détaillé. Le tutoriel date de 2012 mais est toujours valable à bien des égards.

Conclusion

Pour commencer à faire des extensions GNOME, votre premier défi est de trouver une bonne documentation. La seconde est d'avoir un plan de match pour ce que vous pensez que votre besoin devrait faire. Ce sera très intéressant pour vous si vous disposez de la base JavaScript requise, bien que vous puissiez probablement parcourir le didacticiel existant même avec des compétences rudimentaires en JavaScript.

Comment inverser le sens de défilement de la souris et des pavés tactiles dans Windows 10
Souris et Pavé tactiles rendent non seulement l'informatique facile, mais plus efficace et moins chronophage. Nous ne pouvons pas imaginer une vie san...
Comment changer la taille, la couleur et le schéma du pointeur et du curseur de la souris sous Windows 10
Le pointeur et le curseur de la souris dans Windows 10 sont des aspects très importants du système d'exploitation. Cela peut également être dit pour d...
Moteurs de jeux gratuits et open source pour le développement de jeux Linux
Cet article couvrira une liste de moteurs de jeux gratuits et open source qui peuvent être utilisés pour développer des jeux 2D et 3D sur Linux. Il ex...