Pages : 1
#1 Le 01/08/2025, à 22:42
- Thomas DC
Fichiers de config Dash
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)
RAPID maintainer
https://savannah.nongnu.org/projects/rapid/
Hors ligne
#2 Le 02/08/2025, à 13:35
- RaphaelG
Re : Fichiers de config Dash
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.
Hors ligne
#3 Le 03/08/2025, à 19:36
- Thomas DC
Re : Fichiers de config Dash
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 ?
RAPID maintainer
https://savannah.nongnu.org/projects/rapid/
Hors ligne
#4 Le 03/08/2025, à 19:56
- xubu1957
Re : Fichiers de config Dash
Bonjour,
Tu pourrais mettre un message dans le fil Nouvelles règles du forum
Conseils pour les nouveaux demandeurs et pas qu'eux
Important : Pensez à passer vos sujets en [Réso|u] lorsque ceux-ci le sont, au début du titre en cliquant sur Modifier sous le premier message, et un bref récapitulatif de la solution à la fin de celui-ci. Merci. Membre de Linux-Azur
Hors ligne
#5 Le 03/08/2025, à 20:11
- Thomas DC
Re : Fichiers de config Dash
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 ?
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à. :-)
Dash est l'appellation officielle Gnome.
OK.
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.
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" ?
RAPID maintainer
https://savannah.nongnu.org/projects/rapid/
Hors ligne
#6 Le 03/08/2025, à 20:16
- xubu1957
Re : Fichiers de config Dash
Conseils pour les nouveaux demandeurs et pas qu'eux
Important : Pensez à passer vos sujets en [Réso|u] lorsque ceux-ci le sont, au début du titre en cliquant sur Modifier sous le premier message, et un bref récapitulatif de la solution à la fin de celui-ci. Merci. Membre de Linux-Azur
Hors ligne
#7 Le 06/08/2025, à 14:44
- RaphaelG
Re : Fichiers de config Dash
........
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.
Hors ligne
Pages : 1