Bonjour,

Ce vendredi, la vue Favoris de Gnome File sur mon ordinateur principal
est devenue entièrement vide: la vingtaine de "liens" vers des
fichiers ou dossiers favoris a disparu.

Ce matin, j'ai essayé de créer ces favoris mais je n'y arrive pas et
j'ai 3 cas de figure :

1- soit le menu "Marquer comme favori" n'apparaît pas (avec un
clic-droit sur le fichier à ajouter comme favori)
2- soit le menu est présent mais l'activer (plusieurs fois) ne change rien
3- soit le menu est présent et fonctionne normalement !

Mon disque est organisé comme suit:

/home/moi/
|___ superdossier/
|___ Documents
|___ Images
...

Dans le dossier Documents, j'ai un lien symbolique vers superdossier

lrwxrwxrwx 1 moi moi 11 2 févr. 2022 superdossier -> ../superdossier/


Quand je vais dans Documents ou Images, je suis dans le cas 3 (tout
marche) sauf pour les fichiers de superdossier. Avec eux, c'est le cas
2 (menu visible mais ineffectif).

Quand je navigue directement dans /home/moi/superdossier, je suis dans
le cas 1 (menu invisible).

Quelle commande CLI équivaut au menu "Marquer comme favori" de Gnome
(j'ai trouvé de la doc en ligne pour les applis mais pas pour les
fichiers) ?

Avec les commandes ls, ..., comment observer si un fichier est marqué ou non ?

Qui observe un comportement différent sur sa machine ?

Slts

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)