Je voudrais toujours ouvrir les fichiers HTML avec gedit lorsque je clique dessus dans l'application Files intégrée à Ubuntu 20. Je sais que vous pouvez choisir l'application avec laquelle ouvrir en faisant un clic droit, mais c'est un peu fastidieux. Je voudrais donc que gedit soit l'application par défaut pour cela.