Les extensions ajoutent des fonctionnalités supplémentaires à l'interface d'un programme. A ne pas confondre avec les plugins. Les exemples de programmes qui utilisent des extensions incluent GNOME Shell, Mozilla Firefox et Google Chrome.
Qu'est-ce que l' mbstringextension PHP et quel est le meilleur moyen de l'installer sur Ubuntu
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
Il y a des images d'animaux qui apparaissent de manière aléatoire sur mon ordinateur. Lorsque je déplace la souris sur l'animal, celui-ci se transforme en une icône représentant une épée. Lorsque je clique dessus, l'animal disparaît. Au bout de quelques minutes, un autre animal apparaît. Je pense...
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...
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...
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...
Où puis-je trouver le pack d'extension Virtualbox pour 14.04.1 LTS (64 bits) J'ai installé virtualbox via synaptic. La version qu'il a installée est 4.3.10 Je n'arrive pas à trouver un pack d'extension correspondant. Ma solution de rechange serait d'installer directement mais je suis curieux de...
Où sont stockées les extensions une fois qu'elles ont été installées sur
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...
Lorsque je crée un nouveau document destiné à ne contenir que du texte brut, Ubuntu n'est pas obligé d'ajouter une extension .txt à son nom. Cela fonctionne en effet très bien: gedit l'ouvre sans problème, comprenant très bien qu'il ne s'agit que de texte. Les deux seuls arguments pro que j'ai...
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...
J'essaie de configurer l'extension mcrypt dans ma VirtualBox Ubuntu Server pour travailler dans ma page phpMyAdmin. Je courais vi /etc/php5/mods-available/mcrypt.ini, puis je l' ai changé extension=mcrypt.sopour extension=/usr/lib/php5/20121212/mcrypt.soet quand j'ai essayé d'enregistrer les...
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: