Ubuntu gnome-shell-extension

8

Comment installer et gérer les extensions GNOME Shell?

Comment installer les extensions GNOME Shell? Est-il possible de mettre à jour, supprimer et gérer les extensions?

96 software-installation gnome-shell-extension gnome-shell

3

Pourquoi le thème Shell est-il désactivé dans Gnome Tweak Tool?

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 gnome-shell.

59 themes gnome-shell gnome-shell-extension

5

Comment cacher la barre supérieure dans Ubuntu 18.04?

Comment masquer la barre supérieure dans Gnome 3.28 Ubuntu 18.04? Comment installer l'extension hide-top-bar?

35 gnome-shell gnome-shell-extension gnome-tweak-tool top-bar

4

Les extensions sont désactivées après le redémarrage [fermé]

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 fois. Comment puis-je les …

35 gnome-shell gnome-shell-extension

8

Comment désactiver le coin actif 'Activités' dans le shell GNOME?

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 git@github.com/Ahrak/gnome-shell-extension-disable-hot-corners.git fatal: …

35 gnome-shell gnome-shell-extension activities-overview

4

Puis-je avoir un espace de travail de grille rectangulaire dans Ubuntu 18.04?

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: …

32 18.04 workspaces gnome-shell gnome-shell-extension workspace-switcher

1

Comment activer / désactiver une extension gnome-shell à partir de la ligne de commande

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 ?

27 command-line gnome gnome-shell-extension

2

Comment puis-je ajouter «Afficher le bureau» au tableau de bord GNOME ou au Dock Ubuntu?

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 créer un …

26 gnome gnome-shell gnome-shell-extension ubuntu-dock show-desktop

4

Comment supprimer complètement une extension de shell gnome?

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 sous ~/.local/share/gnome-shell/extensions/?

26 12.04 gnome gnome-shell gnome-shell-extension

3

Comment puis-je me débarrasser du dock dans Ubuntu 18?

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 paramètres, mais …

25 gnome-shell ubuntu-dock gnome-shell-extension

1

Comment installer les extensions shell gnome hors ligne?

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 puisse obtenir un accès Internet extérieur, donc …

23 gnome gnome-shell gnome-shell-extension

3

Documentation pour le développement d'extension de shell gnome?

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 documentation pour les …

22 development gnome-shell-extension

2

Comment déplacer l'icône «Afficher les applications» dans Ubuntu Dock?

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 …

20 17.10 gnome-shell-extension gnome-shell ubuntu-dock

3

Comment puis-je commander des extensions de shell Gnome3 en haut?

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:

18 14.04 gnome gnome-shell gnome-shell-extension

2

Comment obtenir plus d'informations sur «Erreur lors du chargement de l'extension»?

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?

18 gnome-shell gnome-shell-extension

Questions marquées «gnome-shell-extension»