Les extensions GNOME Shell sont de petits extraits qui étendent les fonctionnalités et les fonctionnalités de GNOME Shell. Ces extraits sont écrits en JavaScript et CSS.
Comment installer les extensions GNOME Shell? Est-il possible de mettre à jour, supprimer et gérer les
Dans Gnome Tweak Tool, je ne peux pas changer le thème de Shell: Planant sur la marque exclamation montre l'infobulle suivante: Shell user-theme extension not enabled. J'utilise Ubuntu 14.10 et j'ai installé les extensions
Comment masquer la barre supérieure dans Gnome 3.28 Ubuntu 18.04? Comment installer l'extension
J'utilise Ubuntu Gnome 13.10 avec Gnome 3.10. Mon problème est que chaque fois que je redémarre le système d'exploitation, toutes les extensions du shell sont désactivées. La chose étrange est que leurs paramètres sont conservés. Ils sont simplement désactivés et je dois les réactiver à chaque...
Le shell GNOME a la fonctionnalité dite "coin chaud", qui ouvre le tableau de bord si la souris touche le coin supérieur gauche de l'écran du moniteur. Je veux que cette option soit désactivée. J’avais une extension du shell GNOME, mais le référentiel n’est plus trouvé: git clone...
Description du problème J'aime vraiment les espaces de travail 2 par 2 dans Ubuntu 16.04. Mais il semble que je ne peux que déplacer l'espace de travail de haut en bas. Y a-t-il un moyen d'y parvenir? Ce que j'ai essayé J'ai essayé l'extension GNOME appelée Workspace Grid (suggérée ici: puis-je...
Disons que j'ai réussi à installer mon ensemble d'extensions gnome-shell. Mais je veux désactiver / désactiver la ligne de commande. Cela n'est possible que par action de la souris, AFAIK. Comment puis je faire ça
Je migre d'Unity vers GNOME. Un élément qui me manque est un bouton "Afficher le bureau" (aka "minimiser toutes les fenêtres") dans le tiret. Comment puis-je ajouter cette fonctionnalité au tableau de bord GNOME (ou au dock Ubuntu dans Ubuntu 17.10 et versions ultérieures), même si cela signifie...
J'utilise gnome-shell 3.4.1 sous Ubuntu 12.04. J'ai essayé différentes extensions sur http://extensions.gnome.org et maintenant je veux en supprimer complètement, spécialement parce qu'elles ne prennent pas de place dans Gnome Tweak Tool. Est-il sûr de simplement supprimer le dossier d'extension...
Le grand quai à gauche. Dans d'autres versions, vous pourriez échapper au lanceur d'unité en allant à gnome, et maintenant? Gnome tweaks ne l'affiche pas comme une extension, même s'il ressemble beaucoup à un tableau de bord à ancrer. Je vois les options de masquage automatique dans les...
Je sais comment aller sur le site https://extensions.gnome.org/ et télécharger des extensions gnome-shell, mais maintenant je dois installer certaines extensions disponibles sur un ordinateur sans aucun accès à Internet. C'est dans un réseau d'entreprise interne et il n'y a aucun moyen que je...
Je voulais développer des extensions Gnome Shell car elles sont juste en javascript, mais j'ai cherché et il n'y a pratiquement aucune documentation, partout où je regarde les gens disent simplement d'utiliser la documentation de base de Gnome, mais cela n'aide pas, je peux ne trouvant aucune...
Ubuntu 17.10 introduit le shell GNOME avec le Dock Ubuntu (basé sur l' extension Dash to Dock GNOME Shell) et il vous permet de placer le Dock en bas du bureau: Cependant, il n'existe aucun moyen simple de déplacer l' icône Afficher les applications (illustrée à droite) vers la gauche du Dock. Il...
Comment puis-je obtenir plus d'informations sur les raisons pour lesquelles une extension spécifique ne fonctionne pas et m'afficher "Erreur lors du chargement de l'extension" lorsque j'essaye de l'activer?
L'ordre des widgets d'extension de shell semble être aléatoire, comment puis-je le changer? Je veux avoir les informations date / heure à gauche par exemple. Mon panneau de coque:
Ou automatiser les mises à jour? Ou supprimer / désactiver le notificateur de mise à jour? Il ne figure pas dans la liste des "extensions installées" et sa réinstallation n'aide pas. Où se trouvent ses
Je sais que des questions qui ressemblent à celle-ci ont déjà été posées, mais aucune des "solutions" ne fonctionne pour moi. J'utilise l' option Gnome Classic . Je n'ai trouvé aucune extension qui fasse ce que je veux. Je n'ai trouvé aucune entrée gnome-paneldans mon dconfEditor Pouvez-vous...
Que se passe t-il ici? J'ai installé l' extension Dash to Dock sur Ubuntu 17.10. Tout était cool, et alors que j'essayais d'affiner et de modifier l'apparence de mon bureau, à un moment donné, la barre de raccourcis (dock?) À gauche est dupliquée. La valeur par défaut, qui disparaît normalement...
Sur une nouvelle installation d'Ubuntu (12.04, 64 bits), après avoir installé gnome-shell, j'ai essayé d'installer quelques extensions depuis extensions.gnome.org mais je n'ai eu aucun résultat. J'ai essayé avec Firefox et Chromium et j'ai eu le même problème. Ouvrez n'importe quelle page...
Parfois, je reçois des messages m'informant qu'il existe une mise à jour pour une de mes extensions GNOME Shell, me dirigeant vers https://extensions.gnome.org/local/ où je peux déclencher une mise à jour via l'interface Web. Je préfère invoquer des mises à jour à partir de la ligne de commande,...