Comment changer rapidement l'éditeur?


Réponses:


9

quicklydevrait prendre en charge la EDITORvariable environnementale.

$ 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 aucun autre IDE GUI installé, mais je l'ai testé avec $ export EDITOR=nano && quickly editet tous les fichiers ont été ouverts à la nanoplace de gedit. L'ajout export EDITOR=nanoà votre ~/.bashrcdevrait rendre ce changement persistant.


Merci. Je suis nouveau sur Linux: ~ / signifie-t-il le niveau racine? Où puis-je trouver le fichier .bashrc?
Nootrino

1
~/est un raccourci pour le dossier de départ de l'utilisateur actuel. Donc, si votre nom d'utilisateur est "nootrino", il se développe en /home/nootrino/Le .bashrcfichier est masqué la plupart du temps, comme tous les fichiers ou dossiers commençant par un point (" ."). Ouvrez votre dossier de départ et appuyez sur Ctrl + hpour exposer ces fichiers de configuration cachés, souvent appelés «fichiers dot».
andrewsomething

4

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é ça quelque part sur le net, donc les crédits vont au gars qui a découvert cette solution.

À votre santé

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.