Comment changer rapidement l'éditeur?
Je viens de télécharger Ninja IDE et j'aime beaucoup son interface.
Existe-t-il un moyen de configurer l’application Quickly pour lancer mon projet dans Ninja IDE lorsque je tape rapidement, éditer ?
quickly devrait prendre en charge la variable d'environnement EDITOR.
$ quickly help ubuntu-application edit
Usage: quickly edit
A convenience command to open all of your python files in your project
directory in your default editor, ready for editing.
If you put yourself EDITOR or SELECTED_EDITOR environment variable, this latter
will be used. Also, if you configured sensible-editor, this one will be
choosed.
Je n'ai pas d'autre IDE graphique installé, mais je l'ai testé avec $ export EDITOR=nano && quickly edit et tous les fichiers ont été ouverts dans nano au lieu de gedit. Ajouter export EDITOR=nano à votre ~/.bashrc devrait rendre ce changement persistant.
Si vous ne souhaitez pas modifier l'éditeur par défaut de votre système, vous pouvez simplement utiliser
export QUICKLY_EDITOR="yourpreferrededitorhere"
J'ai trouvé cela quelque part sur le net, les crédits vont donc au type qui a découvert cette solution.
À votre santé