Bullseye: Comment Gnome File gère les fichiers favoris ?
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
Reply to: