Le shell GNOME est l'interface utilisateur par défaut du bureau GNOME 3.
Vient de passer à Ubuntu 14.04, qui semble également effectuer une réinstallation complète de Chromium (tous mes plugins ont été supprimés). Maintenant, essayez d'accéder https://extensions.gnome.org/pour activer les extensions Gnome Shell, mais le message: Nous ne pouvons pas détecter une copie en...
Il n'y a pas d'option "Verrouiller" dans le menu utilisateur, et les raccourcis standard ( Ctrl+ Lou Ctrl+ Alt+ L) ne font rien. J'utilise Fedora 19 avec Gnome Shell 3.8.3 et XDM 1.1.11. J'utilise XDM à cause de la prise en charge de XDMCP dans GDM - mais avant de passer à Fedora 19, j'avais...
J'ai un ordinateur portable avec un écran intégré et un moniteur attaché. Lorsque je lance un Hangout vidéo Google et que je partage mon ordinateur, je souhaite pouvoir uniquement partager l'écran connecté, mais je ne sais pas comment. Actuellement, j'ai deux écrans: LVDS1correspond à l'écran de...
J'adore la fonctionnalité de fermeture de fenêtre du shell Gnome 3. Cependant, cela vous permet seulement de maximiser les fenêtres ou de vous accrocher à la moitié gauche ou droite de l'écran. Y a-t-il un moyen de se caler sur les quartiers de l'écran? Peut-être que je ne connais pas une extension...
Je lance gnome shell 3.6 et Eclipse 4.2. J'ai installé Eclipse manuellement, dans mon répertoire / opt, car le paquet Ubuntu pour Eclipse est très obsolète. J'ai créé un fichier .desktop pour ce fichier et l'ai placé dans ~ / .local / share / applications. Cela ressemble à ceci: [Desktop Entry]...
Je suis frustré que cela ait été supprimé / modifié dans gnome-shell3. Il existe certaines raccourcis clavier pour redimensionner et déplacer des fenêtres, comme alt + clic droit, etc., que j'aimerais revenir. J'ai essayé d'utiliser les paramètres du système, mais en vain. Est-ce que quelqu'un...
Il existe des didacticiels sur le Web sur la façon de définir diverses fonctionnalités à activer sur un raccourci clavier, mais jusqu'à présent, je ne suis pas en mesure de savoir comment annuler la définition d' un raccourci clavier. Autrement dit, comment définir un raccourci clavier sur...
Sur mon système Debian, j'ai personnalisé mes raccourcis clavier Gnome (Shell), via Paramètres système> Clavier> Raccourcis. Où puis-je trouver le fichier avec ces paramètres afin de pouvoir copier le fichier sur un lecteur flash pour la sauvegarde, puis l'utiliser pour remplacer les...
Question: J'ai récemment installé RHEL 7.2 et .. les icônes sur le bureau sont ÉNORMES. Comment puis-je diminuer leur
J'ai un Lenovo Thinkpad T420 avec Linux Mint 12 et un gnome-shell dessus. C'est une carte graphique Intel HD 3000 là-dedans. Quand je suis à la maison, j'ai un autre écran branché (19 "4: 3) et tout fonctionne bien (Extended Desktop), sauf que je voudrais avoir le Gnome 3 Bars + Shell sur le bon...
Dans Gnome Shell, est-il possible de changer la séquence des espaces de travail en utilisant le glisser-déposer? Par exemple, est-il possible de faire de Workspace 2 le plus haut en le faisant glisser au-dessus de Workspace 1 (qui est actuellement le plus haut)? Veuillez regarder l'image pour voir...
Je n'arrive pas à comprendre la manière prévue de gérer les extensions de shell Gnome. Je ne trouve aucun programme approprié dans le Dash pour cela. La seule façon de gérer les extensions est via extensions.gnome.org . Il est impossible que cette page soit censée être l'outil de gestion des...
Je ne peux pas comprendre ce que l'icône entre mes paramètres et l'icône de l'écran de verrouillage dans Gnome3 est censée faire. Il a deux états, verrouillé et déverrouillé, mais ce n'est pas l'écran de verrouillage. Lorsque je clique dessus, il bascule son statut.
Je cherche spécifiquement à changer la mise en forme à deux endroits: Sur le bureau, la date / heure indique "Sam 21:05". Je voudrais qu'il se lit "23-Jul-11 21:05" ou "23 Jul 11 21:05". En d'autres termes, je souhaite modifier l'affichage du jour de la semaine pour afficher le jour, le nom du...
Gnome Shell 3.18.5 m'a informé que certaines extensions devaient être mises à jour. J'ai visité https://extensions.gnome.org/local/ de Firefox, mis à jour l'extension Firefox, et maintenant je veux désinstaller certaines des extensions Gnome, par exemple la suivante. Menu du lecteur amovible par l'...
Avant de passer à Wayland, je minimiserais toutes les fenêtres du shell GNOME avec la commande suivante: wmctrl -k on ... mais les deux wmctrlet xdotoolsont des applications X11 uniquement. Quelle commande CLI puis-je utiliser pour réduire toutes les fenêtres d'une session GNOME Shell / Wayland?...
Mon problème est en fait très ennuyeux. Je connais très bien le focus de la souris, mais pour le moment ça ne fonctionne pas. À gnome-tweak-tooll' intérieur de la dernière option, "windows" contient le commutateur "windows focus mode". Je l'ai réglé sur "souris" mais cela ne fonctionne pas. Il agit...
Noyau: x86_64 Linux 4.4.5-1-ARCH GNOME: 3.20.0 Je ne parviens pas à utiliser le raccourci SUPER+ M. Ce que j'ai essayé jusqu'à présent: attribution du raccourci au programme de messagerie du système attribution du raccourci pour démarrer un processus thunderbird Cependant, en appuyant dessus, vous...
Longue histoire courte; J'ai un système Debian qui exécute l' unstablearborescence depuis plus d'une décennie (par le feu, les flammes et plusieurs mises à niveau matérielles, mais à part). Cependant, il y a quelque temps, alors que Debian effectuait la transition vers gnome3 et le...
Je souhaite rechercher dans ma barre de menus pour trouver facilement les éléments de menu obscurs. Je sais que le HUD (Heads Up Display) dans Unity a cette fonctionnalité, mais j'utilise Gnome 3 sur Debian 7. Existe-t-il un moyen de le faire sur mon