Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Ceci est une ancienne révision du document !
- Pour choisir, voir les autres Tags possibles dans l'Atelier.
Nota :
Contributeurs, les sont là pour vous aider, supprimez-les une fois le problème corrigé ou le champ rempli !
Gnome 3.14 est la version de Gnome embarqué pour Debian 8 Jessie. C'est l'interface par défaut pour Debian. Elle s'accompagne souvent du gestionnaire de session GDM3 (Gnome Desktop Manager).
Pour installer l'environnement Gnome complet, comprenant l'interface et un ensemble d'application de bureautique et de gestion de média, il suffit de taper:
apt-get install gnome
Si vous ne souhaitez que l'interface sans les applications supplémentaires, il suffira de d'installer juste le paquet Gnome-Shell:
apt-get install gnome-shell
L'interface Gnome-Shell propose:
raccourcis | Effet |
---|---|
Alt + F1 ou Super | Ouvre la vue “activités” |
Ctrl + Alt + Tab | Affiche le menu d'accessibilité de la vue activités |
Espace (dans la vue Activité) | Affiche la recherche d’activités |
Alt + F2 | Lancer une commande |
Alt + Tab | Naviguer parmi les fenêtres ouvertes |
Alt + Shift + Tab | Idem, mais dans l'autre sens |
Alt + ² | Naviguer parmi les fenêtres ouvertes d'un même groupe |
Ctrl + Alt + ↑ / ↓ | Changer de bureau |
Ctrl + Alt + Shift + ↑ / ↓ | Déplacer la fenêtre active d'un espace de travail à un autre |
Ctrl + Suppr | Supprimer un fichier |
Gnome 3, avec l'interface Gnome-Shell est un changement profond d'interface par rapport à Gnome 2. Afin de garder une continuité dans les habitudes des utilisateurs, l'équipe Gnome a configuré une série d'extensions pour redonner l'aspect de Gnome 2. Cette interface est accessible lors de l'ouverture de session, dans les réglages, sous le nom Gnome Classique.
Il est possible de modifier l'apparence ou des paramètres de l'interface en elle même grâce à l'outil gnome-tweak-tool.
apt-get install gnome-tweak-tool
Gnome-Tweak-Tool propose de nombreuse option et la possibilité d'activer ou d'installer des extensions proposées par la communauté. Le logiciel est accessible depuis le menu application sous le nom outils de personnalisation
On peut ajouter un pack d'extensions et les activer depuis Gnome-tweak-tool:
apt-get install gnome-shell-extensions
Il est aussi possible d'en trouver sur le site officiel des extensions: https://extensions.gnome.org/ et de les activer depuis là