Fichiers de config Dash

Thomas DC · Le 01/08/2025, à 22:42

Bonjour :-)

Est-ce que qqn sait dans quels fichiers de config Dash range-t-il l'information des apps épinglées ?

En passant : Pourquoi est-ce que maintenant, on appelle ça "Dash" et plus "Dock" ?

Modération : merci de respecter la langue du forum qui est le français, pas le SMS.

Dernière modification par cqfd93 (Le 02/08/2025, à 08:47)

RaphaelG · Le 02/08/2025, à 13:35

Je ne sais pas répondre à ta 1ère question.

Pour la 2ème :

It's to confuse the Russians comme on disait du temps de la guerre froide.
En fait, c'est un peu la même chose.

Dock est l'appellation Apple/macOS.

Dash est l'appellation officielle Gnome.

Dans vanilla Gnome, le dash n'est visible que dans le mode "Activity Overview" dans lequel on entre en déplaçant la souris vers le coin supérieur gauche ou en appuyant sur la touche <super>.

Les macOS fans peuvent rendre l'affichage du dash permanent grâce à l’extension "dock to dash" et donc le dash devient un dock.

Ubuntu a plus ou moins intégré l'extension "dash to dock" dans son gnome-shell. Du coup, les ubunteros gardent l’appellation dock.
Ceci dit, depuis l'app Settings, l'onglet "Ubuntu Desktop", l'option "Auto-hide the Dock" permet de ne faire apparaître le dash/dock qu'en mode "Activity Overview"; ce qui revient à avoir le même comportement que vanilla Gnome. C'est d'ailleurs ce que je fais.

Thomas DC · Le 03/08/2025, à 19:36

Thomas DC a écrit :

Est-ce que qqn sait dans quels fichiers de config Dash range-t-il l'information des apps épinglées ?

Modération : merci de respecter la langue du forum qui est le français, pas le SMS.

Ça me fait tjr bizarre de me voir accusé d’écrire en langage SMS, alors que c'est un langage que je n'ai jamais pratiqué (même quand j’étais jeune) et que je trouve incompréhensible !

J'utilise seulement qqes abréviations qui me semblent assez courantes, mon texte n'est pas compacté au point qu'il n'y ait plus un mot qui soit d'origine.
Il me semble que c'est plus proche de la prise de notes (comme à la fac par ex) que du langage SMS.

Y a-t-il un endroit du forum pour discuter de ça ?

xubu1957 · Le 03/08/2025, à 19:56

Bonjour,

Tu pourrais mettre un message dans le fil Nouvelles règles du forum

Thomas DC · Le 03/08/2025, à 20:11

RaphaelG a écrit :

Je ne sais pas répondre à ta 1ère question.

Bon ben ... j’espère que qqn saura ... :-D

Si non, à quel endroit peut-on trouver des gens qui seront plus pointu techniquement ?

RaphaelG a écrit :

Pour la 2ème :
It's to confuse the Russians comme on disait du temps de la guerre froide.
En fait, c'est un peu la même chose.
Dock est l'appellation Apple/macOS.

Oui, je viens de là. :-)

RaphaelG a écrit :

Dash est l'appellation officielle Gnome.

OK.

RaphaelG a écrit :

Dans vanilla Gnome, le dash n'est visible que dans le mode "Activity Overview" dans lequel on entre en déplaçant la souris vers le coin supérieur gauche ou en appuyant sur la touche <super>.
Les macOS fans peuvent rendre l'affichage du dash permanent grâce à l’extension "dock to dash" et donc le dash devient un dock.
Ubuntu a plus ou moins intégré l'extension "dash to dock" dans son gnome-shell. Du coup, les ubunteros gardent l’appellation dock.

C'est marrant, ça s'appelle Dock dans l'app Settings, et Dash quand on fait un clic droit dedans (sur une app non épinglée).
Je suppose que c'est un oubli de traduction de la part d'Ubuntu.

RaphaelG a écrit :

Ceci dit, depuis l'app Settings, l'onglet "Ubuntu Desktop", l'option "Auto-hide the Dock" permet de ne faire apparaître le dash/dock qu'en mode "Activity Overview"; ce qui revient à avoir le même comportement que vanilla Gnome. C'est d'ailleurs ce que je fais.

Si on doit changer son nom à chaque fois qu'on change ce réglage, ça va devenir compliqué ! :-D

Par contre sois précis :
Avec cette option, on peut faire apparaître le dash/dock en mode "Activity Overview", mais aussi quand aucune fenêtre ne le recouvre, et aussi quand on colle la souris sur le bord de l’écran où il est.
Est-ce que c'est le même comportement que vanilla Gnome, ou bien est-ce que dans vanilla Gnome le dash n'est vraiment visible que dans le mode "Activity Overview" ?

xubu1957 · Le 03/08/2025, à 20:16

Pour info > askubuntu.com/questions/1332616/whats-the-difference-between-dash-and-dock

RaphaelG · Le 06/08/2025, à 14:44

Thomas DC a écrit :

........
Par contre sois précis :
Avec cette option, on peut faire apparaître le dash/dock en mode "Activity Overview", mais aussi quand aucune fenêtre ne le recouvre, et aussi quand on colle la souris sur le bord de l’écran où il est.
Est-ce que c'est le même comportement que vanilla Gnome, ou bien est-ce que dans vanilla Gnome le dash n'est vraiment visible que dans le mode "Activity Overview" ?

Oui, tu as raison. J'ai omis ces détails parce que je me référais à mon expérience, assez ancienne désormais, avec Debian 10 Buster. Je ne peux pas te l'assurer avec certitude parce que cette machine a rendu l'ame mais je ne me souviens pas que le dash réapparaissait lorsque qu'aucune fenêtre ne le recouvrait ni lorsque la souris allait jusqu'au bord de l'écran.
Alors, oui, j'ai bien l'impression que ce comportement est du aux modifications faites par Canonical dans Gnome.

J'ai trouvé comment lister les Gnome Shell extensions installées : https://help.gnome.org/admin/system-adm … ns.html.en
- Appui sur les touches <Alt>+<F2>.
- Taper « lg » (comme Looking Glass) puis <Enter>. Une fenêtre s’ouvre.
- Cliquer dans l’onglet Extensions.
Dans mon Ubuntu 24.04 avec gnome-shell 46.0 installés from scratch, ces extensions ont été automatiquement installées :
- Desktop Icons NG (DING)
- Ubuntu AppIndicators
- Ubuntu Dock
- Ubuntu Tiling Assistant

Si tu veux plus d'info sur vanilla Gnome, je pense qu'il faut que tu ailles directement chez gnome.org par exemple là : https://help.gnome.org/users//gnome-hel … on.html.en
Ici, https://en.wikipedia.org/wiki/GNOME_Shell , tu trouveras la terminologie utilisée pour décrire le bureau. On y voit, entre autres choses, que le dock s'appelle dash.

Pour en revenir à ta 1ère question, j'ai bien peur que ta quête d'un fichier de configuration (sous entendu au format texte donc facilement modifiable) ne te donne pas satisfaction.
Je soupçonne que la définition du dash/dock soit incluse dans une GVariant data base qu'on pourrait accéder avec gsettings.

RaphaelG · Aujourd'hui à 14:55

Ah, ah ! Dans ce fil : https://forum.ubuntu-fr.org/viewtopic.p … #p22851367 , en #9, krodelabestiole nous indique comment lister les Gnome extensions sans passer par la cryptique fenêtre Looking Glass : tout simplement avec la commande gnome-extensions apportée par le paquet gnome-shell.
Chez moi :

~$ gnome-extensions list -d
ding@rastersoft.com
  Name: Desktop Icons NG (DING)
  Description: Adds icons to the desktop. Fork of the original Desktop Icons extension, with several enhancements .
  Path: /usr/share/gnome-shell/extensions/ding@rastersoft.com
  URL: https://gitlab.com/rastersoft/desktop-icons-ng
  Enabled: Yes
  State: ACTIVE

tiling-assistant@ubuntu.com
  Name: Ubuntu Tiling Assistant
  Description: Expand GNOME's 2 column tiling and add a Windows-snap-assist-inspired popup...
  Path: /usr/share/gnome-shell/extensions/tiling-assistant@ubuntu.com
  URL: https://launchpad.net/ubuntu/+source/gnome-shell-extension-tiling-assistant
  Version: 46
  Enabled: Yes
  State: ACTIVE

ubuntu-appindicators@ubuntu.com
  Name: Ubuntu AppIndicators
  Description: Support app indicators and legacy tray icons in top panel, as the default Ubuntu experience. System update of AppIndicator and KStatusNotifierItem Support extension.
  Path: /usr/share/gnome-shell/extensions/ubuntu-appindicators@ubuntu.com
  URL: https://github.com/ubuntu/gnome-shell-extension-appindicator
  Enabled: Yes
  State: ACTIVE

ubuntu-dock@ubuntu.com
  Name: Ubuntu Dock
  Description: A dock for the Gnome Shell, default Ubuntu experience. This extension is a modified version of Dash To Dock with different defaults. Dash To Dock can be installed to replace it and give more (but unsupported) configuration options.
  Path: /usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com
  URL: https://micheleg.github.io/dash-to-dock/
  Original author: micxgx@gmail.com
  Version: 90
  Enabled: Yes
  State: ACTIVE
~$

krodelabestiole · Aujourd'hui à 17:02

Thomas DC a écrit :

Il me semble que c'est plus proche de la prise de notes (comme à la fac par ex) que du langage SMS.

oui, mais justement, la prise de note est à usage personnel, ce n'est pas un moyen de communication, sauf peut-être avec soi-même du futur.

sur un forum on n'est généralement pas aussi exigeant sur la mise en forme que sur un wiki par ex., je pense que c'est aussi vrai sur ubuntu-fr.
par contre on l'est plus que sur un chat, parce que les échanges doivent en principe pouvoir être utiles à la postérité et à d'autres utilisateurs.

dans ce contexte je pense que ces abréviations peuvent être gênantes, en particulier pour quelqu'un n'ayant pas les codes de la fac, ou dont le français n'est pas la langue maternelle, comme c'est le cas de certains utilisateurs du forum.

krodelabestiole · Aujourd'hui à 18:47

sinon, oui, dash est le nom du dock minimaliste de GNOME (la traduction littérale serait tableau de bord).

pour le remplacer on trouve deux extensions très utilisées :
dash to dock, qui permet de déployer un dock plus complet, à la macOS (ubuntu en utilise une version modifiée, par défaut)
dash to panel qui permet de mettre en place des "panneaux", ou plutôt "barres", type la barre des applications qu'on trouve chez windows (ou cinnamon) avec la prévisualisation des fenêtres au survol.

je suppose que la config de dash se fait dans l'éditeur dconf par ex. /org/gnome/shell/
peut-être la clé favorite-apps
(voir aussi 7. Configuration)

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 01/08/2025, à 22:42

Fichiers de config Dash

#2 Le 02/08/2025, à 13:35

Re : Fichiers de config Dash

#3 Le 03/08/2025, à 19:36

Re : Fichiers de config Dash

#4 Le 03/08/2025, à 19:56

Re : Fichiers de config Dash

#5 Le 03/08/2025, à 20:11

Re : Fichiers de config Dash

#6 Le 03/08/2025, à 20:16

Re : Fichiers de config Dash

#7 Le 06/08/2025, à 14:44

Re : Fichiers de config Dash

#8 Aujourd'hui à 14:55

Re : Fichiers de config Dash

#9 Aujourd'hui à 17:02

Re : Fichiers de config Dash

#10 Aujourd'hui à 18:47

Re : Fichiers de config Dash

Pied de page des forums