Comment puis-je changer mon éditeur de texte par défaut de gedit à Emacs?
La réponse n'a pas fonctionné le 12.10. Voici ce qui a fonctionné dans mon cas:
Cela fonctionne également sur 12.04 et 13.04.
Pour modifier l’éditeur de texte par défaut d’un type de fichier à l’autre, essayez de mettre à jour la configuration de gnome-text-editor.
Sudo update-alternatives --config gnome-text-editor
Dans certains cas:
Sudo update-alternatives --config editor
Une solution plus robuste consisterait à remplacer les liaisons dans /usr/share/applications/defaults.list
.
sed -i 's/gedit/emacs/' /usr/share/applications/defaults.list
Faites un clic droit sur un fichier texte, pointez sur "Ouvrir avec" et cela montrera les autres éditeurs dans un sous-menu. Cliquez sur "Autre application ...". Il vous montrera une boîte de dialogue avec une liste d’applications, sélectionnez Emacs et assurez-vous que l’option "Mémoriser cette application pour" document en texte brut "" fichier "est cochée. Cliquez sur "Ouvrir".
Je n'utilise pas de DE, mais pour mes configurations, la commande suivante est la meilleure:
/usr/bin/select-editor
sed -i 's/gedit/emacs/g' /etc/gnome/defaults.list
Si vous travaillez depuis le terminal, j’ajouterais ce qui suit à votre fichier .bashrc (ou au fichier de configuration de votre shell préféré):
export EDITOR=emacs
Si vous souhaitez remplacer gedit par n’importe quel autre éditeur de texte pour tous les types de fichiers, le plus simple est d’éditer le fichier defaults.list
situé ici:
/usr/share/applications/defaults.list
Il vous suffit de rechercher et de remplacer toutes les références gedit.desktop
par votre propre éditeur (dans ce cas, emacs.desktop
). Vous devez avoir les droits root pour éditer le fichier. Alors, faites juste:
Sudo -H gedit /usr/share/applications/defaults.list
Enregistrez le fichier, fermez-le et c'est fait.
Vous pouvez définir l'éditeur de texte par défaut pour un utilisateur spécifique dans # ~/.local/share/applications/mimeapps.list par:
[Default Applications]
text/plain=gedit.desktop
Pour une configuration globale pour tous les utilisateurs, vous devez modifier le / etc/gnome/defaults.list