Dernière vérification:
j’ai vu la raison debian 9 utilise cinnamon 3.2 et cette fonction est sur la 3.6!
si quelqu’un à une autre idée pour la modifier…?
voilà j’ai cherché pour pouvoir modifier sous cinnamonon m’a montré par capture d’écran, malheureuxement je n’ai pas la même fenêtre malgré la même version cinnamon (version 3).
voici la capture pour l’aide: 
sous ma debian 9:
j’ai directement le choix du navigateur et pas le choix du gestionnaire de fichier
peut être manque d’extension j’ai pas trouvé si quelqu’un à une idée elle est la bienvenue d’avance merci