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.


gnomint3 Configurer Gnome Shell
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.alternatetab1 560x315 Configurer Gnome Shell
  • 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.gnome shell elementary by half left d371nhf 560x316 Configurer Gnome Shell
  • windowsNavigator : Permet la sélection des fenêtres et espace de travail via le clavier.windowsnavigator 560x315 Configurer Gnome Shell

D’autres extension sont disponibles sur le site blog.fpmurphy.com

1.2.1.Installation des extensions gnome-shell

Sur Ubuntu il faut utiliser le dépot de WebUpd8 :

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions*

Sur Fedora

su -c 'yum  gnome-shell-extension*'

1.2.2.Afficher la météo

Une extension pour afficher la météo : gnome-shell-extension-weather

screenshot2 560x247 Configurer Gnome Shell

  • Téléchargez cette et décompresser l’archive.
    sudo add-apt-repository ppa:webupd8team/gnome3
    sudo apt-get update
    sudo apt-get install gnome-shell-extensions-weather
  • Pour configurer cette extension il faut rechercher sur le site le code de votre ville et entrer la commande suivante en remplacant your_woeid par le code obtenu
  • gsettings set org.gnome.shell.extensions.weather woeid "'your_woeid'"
  • Ou lancer dconf-editor et aller dans la section org > gnome > shell > extensions > weather et sous woeid entrez le code de votre ville.dconf 560x428 Configurer Gnome Shell
  • Pour traduire les indications météo entrez la commande suivante :
  • gsettings set org.gnome.shell.extensions.weather translate-condition true
  • Redémarrez gnome shell : [CTRL]+[ALT]+[F2] et entrer [r] puis validez.

1.2.3.Les extensions MGSE de Linux Mint

Linux Mint, une dérivée non officielle d’Ubuntu propose trois extensions permettant de retrouver une partie de l’environnement Gnome Classique au de Gnome Shell. On retrouve un panel s’affichant en bas de l’écran, un menu et une applet affichant les applications ouvertes.

MGSE Extension 560x350 Configurer Gnome Shell

Pour installer ces extensions : Installer les extensions gnome shell mgse de la linux mint 12

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.

gnomint3 Configurer Gnome Shell

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.Macbuntu 11 10 007 560x435 Configurer Gnome Shell
  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].

menu parametre system gnome shell Configurer Gnome Shell

raccourci  clavier gnome shell alt f2 560x364 Configurer Gnome Shell

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

Taille icone gnome shell 560x350 Configurer Gnome Shell

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

9 Commentaires

  1. roland (4 comments) dit :

    Bonjour à tous j’ai un petit soucis, je n’arrive pas à installer l’extension pour la météo :(
    Il me dit lors de la première commande à entrer que mon prefix est mauvais c’est normal ?

    Merci d’avance, cordialement Roland

  2. Email *roland (1 comments) dit :

    Désolé de revenir à la charge mais je ne trouve pas ou il faut que je rentre les commandes pour mon woeid :(

  3. sandy (2 comments) dit :

    merci pour ce pt recapitulatif,cela m’aide bc! je suis sur linux que depuis 1 mois et j’essaye de maitriser au mieux « la bete »

  4. Patrick. (1 comments) dit :

    Merci pour toutes ces explications claires et utiles. Question supplémentaire :

    Le fond des fenêtres des différents programmes (Firefox, LibreOffice Writer, …) est blanc. Est-il possible de paramétrer gnome-shell.css de manière à changer cette couleur (par exemple, un bleu très léger est moins agressif que le blanc) ?

  5. Neroth (1 comments) dit :

    Bonjour, pour les intéresser, j’ai fait un fork de l’extension météo !
    => Plus de WOEID, gestion de plusieurs villes en même temps etc …

    https://github.com/Neroth/gnome-shell-extension-weather

    En espérant vous aidez ! :)

  6. Cainenberg (1 comments) dit :

    Bonjour et merci pour cet article,

    Auriez vous une idée pour changer la police de la barre d’activité en haut du bureau ? J’ai tenté d’éditer les fichiers css sans succès …

    http://forum.ubuntu-fr.org/viewtopic.php?pid=8041531#p8041531

    Merci d’avance et bonne continuation.

  7. Gershon09 (1 comments) dit :

    Bonjour,
    je viens d’installer gnome tweak tool, ca marche mais les onglets de l’outils de réglage est en chinois !!

  8. phil (12 comments) dit :

    Bonjour

    excellent travail vulgarisateur qui me donne envie de tester. J’ai une petite question toute bête (je vais vite me cacher sous 10 mètres de terre pour éviter les obus linuxiens !) : comment fait-on pour créer un dossier sur le bureau ?
    Sous Cinnamon, je fais clic droit et ca marche. Pas là …

    Merci

Laisser une réponse

Notifiez-moi des commentaires à venir par email. Vous pouvez aussi vous abonner sans commenter.