Bonjour, Comment faire pour changer l'éditeur de texte par défaut de Gnome? Je souhaite remplacer gedit par gvim mais je n'ai rien trouvé dans les menus de configuration de Gnome. La seule solution que j'entrevois, c'est avec update-alternative et la clé gnome-text-editor mais ça me paraît bizarre d'être obligé de le faire au niveau système plutôt que session.