• # ce n'est pas un masquage d’extension

    Posté par (site web personnel, Mastodon) . En réponse au message Comment éviter le masquage de l'extension .desktop par un explorateur de fichiers ?. Évalué à 6.

    C’est pire.

    J’avoue que les noms que j’ai choisi prêtent à confusion.

    Le nom affiché par l’explorateur (ici Caja) est celui décrit par le champ Name= du fichier .desktop, tu peux mettre ce que tu veux, et c'est ce texte-là qui sera affiché en lieu et place du nom réel.

    Par exemple si tu renommes chaton-mignon.odt.desktop en plop.desktop et que tu remplaces la ligne Name=chaton-mignon.odt en Name=girlz.gif, l’explorateur de fichier affichera girlz.gif.

    Je ne crois pas que les explorateurs de fichiers type nautilus/caja permettent d’empêcher cela, mais c’est tout de même mieux qu’avant (autour de 2007 quand je me suis penché sur le sujet pour la première fois) puisqu’avant, il n’y avait même pas besoin du bit 'x' et que tout .desktop téléchargé était affiché après transformation. Je crois qu’il reste un endroit où le bit 'x' est encore inutile pour voir les fichiers après transformation, c’est le dossier /usr/share/applications.

    Ce serait une bonne idée de militer pour pouvoir désactiver l’interprétation des .desktop dans l’explorateur de fichier (et laisser cela aux menus), ou bien de proposer une indication visuelle explicite (un peu comme la petite image en coin des raccourcis windows qui montrent que c’est un raccourci).

    Je vais renommer le .odt.desktop en .desktop dans mon PoC pour que les gens comprennent bien que ce n’est pas un masquage d’extension. :-)

    ce commentaire est sous licence cc by 4 et précédentes