Configurer Gnome Shell

Gnome Shell même si il paraît complet peut ne pas correspondre à vos attentes. Rassurez-vous il est possible de le customiser pour le rendre encore plus à votre gout.

1.Customisation de Gnome Shell

1.1 Configuration de Gnome Shell

GNOME Tweak Tool est un outil  développé par John Stowers permettant d’effectuer divers réglages de GNOME 3.


On retrouve différents thèmes de réglages :

  • File Manager : ce groupe propose une unique option, celle d’utiliser le bureau pour y placer des fichiers et des lanceurs comme dans les précédentes versions de GNOME, là où GNOME 3 laisse le bureau « nu » ;
  • Polices : ce thème rassemble tous les réglages relatifs aux polices utilisées dans les applications ;
  • Interface : cet item propose une sélection de thèmes à appliquer aux applications GTK+ 3 : thèmes applicatifs, d’icônes, de curseurs de souris. . .
  • Shell : on pourra depuis ce panneau afficher, en plus de l’heure, la date dans l’applet « calendrier », réactiver les boutons de réduction et agrandissement dans les barres de fenêtres ou gérer plus finement les actions à la fermeture de l’écran d’un portable ;
  • Shell Extensions : Paramétrage des extensions
  • Windows : ce dernier thème regroupe les réglages associés aux fenêtres : sélection du thème à appliquer aux barres de fenêtres et configuration des actions à la souris sur celles-ci.

1.1.1.Installation de Gnome Tweak Tool

Sur Ubuntu

sudo apt-get install gnome-tweak-tool

Sur Fedora

sudo yum install gnome-tweak-tool

1.2.Les extensions de Gnome Shell

Comme vous avez pu le remarqué cette nouvelle interface n’affiche plus de « liste de fenêtres », pour afficher le menu éteindre il faut appuyer sur la touche « Alt » du clavier, etc. Heureusement Gnome Shell n’est pas figé et permet d’étendre ses fonctionnalités via des extensions.

Attention: certaines extensions Gnome Shell peuvent faire planter Gnome Shell. Pour résoudre ce problème après vous être connecté appuyez sur les touches  [CTRL] + [ALT] + [F2]

cd ~/.local/share/gnome-shell/extensions

et supprimer l’extension à l’origine du plantage de Gnome Shell

rm -r extension_folder

appuyez sur CTRL + ALT + F7 et connectez vous a nouveau.

Actuellement une quinzaine d’extensions sont disponible dont :

  • alternate-tab : Permet de retrouver le classique Alt+Tab.
  • alternative-status-menu : Permet de retrouver un menu complet avec l’option .
  • auto-move-windows : Permet de gérer plus facilement les espaces de travail.
  • dock : Affiche un dock à la droite de l’écran (toujours présent).
  • gajim : Intégration de Gajim
  • user-theme : Les thèmes utilisateurs présent dans le dossier ~/.themes/<name>/gnome-shell.
  • windowsNavigator : Permet la sélection des fenêtres et espace de travail via le clavier.

1.2.1.Installation des extensions gnome-shell

L’installation des extensions Gnome Shell est très simple puisqu’il suffit de se rendre sur la site dédié et d’activer l’extension désirée en appuyant sur le bouton ON/OFF

1.2.3 Activation des extensions

L’activation des extensions se fait depuis l’outil Gnome Tweak Tool. Il suffit de se rendre dans l’onglet Shell Extensions et de cliquer sur le bouton ON/OFF pour activer ou désactiver vos extensions.

2.Installation de thèmes Gnome Shell

Par défaut Gnome Shell ne fournit pas de système d’installation de thèmes, mais il existe une alternative :

Au préalable il faut avoir installer Gnome Tweak Tool (voir ci-dessus.

  1. Téléchargez et décompressez le thème de votre choix. (les meilleurs thèmes Gnome Shell)
  2. Déplacer le dossier extrait, dans le répertoire /.themes se trouvant dans votre répertoire personnel.
  3. Lancer Gnome Tweak Tool et allez dans la section theme.
  4. Sélectionner votre thème dans la liste déroulante Shell Theme.

3.Astuces Gnome Shell

3.1.Réactivation du raccourci clavier [ALT] + [F2]

Pour ceux qui ne peuvent pas lancer de commandes via le raccourci [ALT] + [F2] il suffit d’aller dans les paramètres système de cliquer sur clavier. Une fois les paramètres clavier ouvert, cliquer sur l’onglet raccourci puis la section système, et cliquer dans la zone du raccourci correspondant à [Afficher une fenêtre pour lancer une commande].

3.2.Réduire la taille des icône du dash

Pour réduire la taille des icônes du dash, il faut editer le le fichier /usr/share/gnome-shell/theme/gnome-shell.css  :

sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

.icon-grid {
spacing: 24px;
-shell-grid-item-size: 80px;
}
.icon-grid .overview-icon {
icon-size: 66px;

3.3Désactiver la zone réactif Ativités

Il faut modifier le fichier layout.js

sudo gedit /usr/share/gnome-shell/js/ui/layout.js

.

Remplacer à l’endroit où il y a la valeur reactive: true par reactive: false.

this._corner = new Clutter.Rectangle({ name: ‘hot-corner’,

width: 1,
height: 1,
opacity: 0,
reactive: true });icon-size: 48px;
}

4.Toute l’actualité de Gnome Shell