102 votes

Comment changer l'éditeur de texte par défaut ?

Comment puis-je changer mon éditeur de texte par défaut de gedit à Emacs ?

2voto

Vani Points 45

Pour une raison quelconque, j'ai dû utiliser xdg-mime :

xdg-mime default org.gnome.gedit.desktop text/plain # For current user

vous pouvez utiliser vos fichiers .desktop pour l'ensemble du système sous /usr/share/applications/ ou des fichiers locaux sous ~/.local/share/applications/ o créez le vôtre .

éditer : Il est également utile de savoir que les configurations des utilisateurs sont stockées dans le fichier ~/.config/mimeapps.list qui remplace les valeurs par défaut. source : https://stackoverflow.com/a/64850938/9085151

-1voto

John2095 Points 714

Pour définir Pluma comme éditeur de texte par défaut pour tous les utilisateurs (global) :

sudo sed -i 's|text/plain=gedit.desktop|text/plain=pluma.desktop|g'  /etc/gnome/defaults.list

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X