Paramétrage Dock Ubuntu                        

 


 
Ubuntu est ma distribution Linux préférée, mais est peu paramétrable au niveau apparence .... l'est tout de mème, mais ce n'est pas très évident.
Il y a bien un centre de contrôle appelé Paramètres dans les applis mais les possibilités sont limitées dans ce domaine.
Pas la possibilité de modifier l'apparence (a part changer le fond d'écran et réduire les icônes du dock) de changer le thème , les icônes et plein d'autres choses comme le paramétrage du dock qui est a gauche de l'écran.
Ce dock est basé sur une extension de gnome shell "Gnome to dock", dépouillé de ses paramétrages .
Ceci peut être corrigé facilement par l'ajout d'extensions Gnome shell







Installations des extensions

Après installation et mise a jour de Ubuntu, lancer "Logiciels Ubuntu" présent dans le dock avec l’icône puis cliquer sur Extensions puis sur Extensions Shell.
il est possible aussi d'installer et de gérer ces extensions depuis la page internet des extensions.gnome.org, et ceci depuis le navigateur Firefox ou Google Chrome en installant le paquet chrome-gnome-shell  

 
Voir aussi la doc Ubuntu Extensions Gnome shell



Pour gérer aussi ces extensions et d'autres paramètres il faut installer "Ajustements"   (gnome-tweaks) 

Ajustements








Extensions a installer depuis la logithèque ou le site des extensions.gnome.org

User-thèmes   Pour modifier l'apparence de Ubuntu (les thèmes se changent depuis Ajustements)
Dash to dock   pour le paramétrage du dock    
Dash to panel  si choix de la position en bas    
Removable drive menu  pour accéder et démonter les périphériques amovibles.
Frippery Move Clock  pour déplacer l'horloge vers la droite 

 







Lancer Ajustements et cliquer sur le petit engrenage de Dash to dock      

Les différentes fenêtres


Onglet Position et taille

                                                                                                               








Position gauche par défaut



Le masquage intelligent n'est pas activé


La taille des icônes est a un peu plus de 32

Onglet Lanceurs

















En cochant cette case le bouton des applis est ici positionné en haut du dock (comme Unity)

Onglet Comportement












Cliquer sur le petit engrenage et choisir minimiser les fenêtres



Ici choisir Cycler les fenêtres

Onglet Apparence








Choisir ou non le thème par défaut


Choisir réduire les marges pour ne pas avoir un dock trop large
Ici cliquer sur le petit engrenage et choisir Tirets, Carrés, etc..
En cliquant sur le petit engrenage on peut choisir l'apparence des indicateurs , voir image suivante

Choix de l'apparence des indicateurs des fenètres




Ce qui paramétrer comme ici donne

Des tirets blancs: deux fenêtres de Chrome ouvertes , une de Nautilus et une de la Logithèque



Si l'on préfère la position du dock en bas, mieux vaut installer Dash to panel a la place de Dash to dock
La zone de notification étant dans Dash to panel , il n'y aura donc qu'une barre horizontale au lieu de deux avec Dash to dock

Dash to dock
Dash to panel


Ensuite comme sur le dock Ubuntu, il est aisé d'y ajouter les applis , les déplacer en les glissant .

 






Quelques paquets utiles

Synaptic le gestionnaire de paquets  
gdebi pour l'installer des .deb (clic droit sur le .deb >> Propriétés >> Ouvrir avec >> choisir gdebi et cliquer sur "par défaut")   
Gparted gestion des partitions, clonage déplacement de partitions  
ssh pour transfert de fichiers entre plusieurs ordinateurs et serveurs distants   
Gimp pour traitement des Images  
hplip-gui  pour les imprimantes et scanner HP en Wifi  
ttf-mscorefonts  les polices de caractères de Microsoft
Nautilus-admin  pour ouvrir nautilus en administrateur depuis le menu du clic droit 
Nautilus-image-converter 
pour réduire la taille des images depuis le menu du clic droit     
Alacarte
éditeur de menu  
Vlc 
lecteur vidéo        
Vokoscreen 
capture vidéo  
Clementine lecteur audio  


Pour le fonctionnement de certains nautilus scripts
imagmagick   
zenity    
ffmpeg       

Non libres
ubuntu-restricted-extras    Polices, codecs mp3, mpeg, etc...      


Pages concernant Gnome

Extensions Gnome shell (doc Ubuntu)
Personnalisation de gnome (doc Ubuntu)