Il semble que, effectivement, Caja comme Nautilus (en tous cas les versions de 2014, avec Ubuntu 14.04) utilisent l'extension et non le mime-type.
Ceci dit, comme le signale Thomas Debesse, le mal est bien plus profond, et un simple (ou double selon la config) clic permet d'exécuter un script alors qu'on pense simplement ouvrir un fichier. C'est un grand problème, pour tout utilisateur.
[^] # Re: peut-etre que c'est par ce que ...
Posté par lgmdmdlsr . En réponse au message Comment éviter le masquage de l'extension .desktop par un explorateur de fichiers ?. Évalué à 1.
Il semble que, effectivement, Caja comme Nautilus (en tous cas les versions de 2014, avec Ubuntu 14.04) utilisent l'extension et non le mime-type.
Ceci dit, comme le signale Thomas Debesse, le mal est bien plus profond, et un simple (ou double selon la config) clic permet d'exécuter un script alors qu'on pense simplement ouvrir un fichier. C'est un grand problème, pour tout utilisateur.