Questions marquées «gnome»

GNOME (GNU Network Object Model Environment) est une collection de logiciels basés sur GTK qui fournit l'environnement de bureau GNOME Shell. Il s'agit d'une balise très générale qui ne doit être utilisée que pour les questions se référant à GNOME en général et non à un composant spécifique.

2
Retard de souris sur Ubuntu 17.10
J'ai téléchargé Ubuntu 17.10 récemment, et j'ai découvert que si vous déplacez le curseur sur la barre supérieure, la souris commence à traîner. (surtout si vous ouvrez l'un des onglets de la barre supérieure, puis déplacez votre souris sur la barre). Je pensais que c'était le seul problème avec la …
20 gnome  mouse  steam  17.10 
2
Comment passer à la dernière version de GNOME?
J'utilise Ubuntu 15.04. J'ai installé GNOME en plus de cela. J'utilise maintenant GNOME Shell. J'ai entendu que 3.16 a de nombreuses améliorations. Je pense à une mise à niveau. Ma question est la suivante: si je mets à niveau vers GNOME 3.16, pourrai-je passer à la prochaine version d'Ubuntu (15.10) …
20 gnome  upgrade 
6
openvpn ne peut pas importer de configurations sur la nouvelle installation 14.04
Modifier: corrigé à l'époque lorsque le correctif était déployé avec l'ajout d'une configuration VPN. N'utilisez plus Linux / Ubuntu maintenant. J'ai installé OpenVPN Network-Manager en faisant:, sudo apt-get install network-manager-openvpnqui installe également le paquet gnome. Cela a permis d'importer des configurations sous 13.10, mais lors de ma nouvelle installation, je …
20 gnome  vpn  openvpn 
1
Lundi comme premier jour à Gnome-Shell (au lieu du dimanche)
J'ai été confronté à différents paramètres régionaux (États-Unis, Canada et autres endroits en anglais, ainsi que dans d'autres pays et langues), mais je ne peux pas faire commencer le calendrier Gnome-shell par lundi, au lieu de dimanche (voir image ). J'ai même modifié le en_USfichier en /usr/share/i18n/locales/(ligne: premier jour ouvrable: …
20 gnome  locale  calendar 
4
Comment modifier les paramètres DPI de police?
J'ai installé Oneiric sur un système propre et j'ai constaté que l'onglet de police avait disparu des paramètres d'apparence. C'est un problème, car par défaut le texte dans Ubuntu est trop volumineux. J'ai changé le texte de normal à petit dans les paramètres d'accès universel, mais c'était bien trop petit. …
1
Comment puis-je changer le thème du shell GNOME?
J'ai installé le shell GNOME dans Ubuntu 12.04 et je veux changer le "thème du shell", mais cela ne me permet pas de le faire. L'alerte dit quelque chose comme: "L'extension GNOME-Shell n'est pas activée", et je veux l'installer avec la console, mais cela me renvoie une erreur. Comment puis-je …
7
Comment réinitialiser la configuration des polices gnome?
Comment réinitialiser les paramètres de police - police et taille réelles - à leurs valeurs par défaut? (J'ai changé certaines valeurs dans Système-> Préférences-> Apparence-> Polices) Ceci est particulièrement important avec la nouvelle police Ubuntu dans Maverick - par exemple, je suis intéressé de voir quels sont les paramètres par …
1
Touches Fn Media lentes / retardées sur le gnome Ubuntu 17.04
Je viens d'installer Ubuntu 17.04 sur mon ordinateur portable Asus ROG GL752VW et j'ai décidé d'installer gnome-shellpuis d'installer ubuntu-gnome-desktop. Après une certaine utilisation, j'ai remarqué un retard lors de l'utilisation de Fn+ F5ou F6comme contrôles multimédias. La première fois que j'appuie sur cette combinaison de touches, Gnome se bloque pendant …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.