Eu suponho que você quer dizer que você quer mudar o editor que rapidamente carrega quando você pede.
Bem, eu fiz uma investigação ... Mostrarei o que eu fiz seguido pela resposta.
-
Eu disparei este comando:
sudo find / -name "*quickly*" -exec grep gedit {} \;
Isso procura todos os arquivos rapidamente e depois os usa para o gedit. Foi um tiro no escuro - eu deveria ter refinado a busca, então era qualquer caminhos com rapidez, mas combinava!
Binary file /usr/share/quickly/templates/ubuntu-application/internal/quicklyutils.pyc matches editor = "gedit"
-
Eu abri o
/usr/share/quickly/templates/ubuntu-application/internal/quicklyutils.py
(não a versão compilada) no nano, procurei pelo gedit e vi:def get_quickly_editors(): '''Return prefered editor for ubuntu-application template''' editor = "gedit" default_editor = os.environ.get("EDITOR") if not default_editor: default_editor = os.environ.get("SELECTED_EDITOR") if default_editor: editor = default_editor return editor
-
A partir disso, você pode ver o valor do ambiente
EDITOR
!Basta executar seus comandos rapidamente como:
env EDITOR=gvim quickly edit
ou exportá-lo para persistir
export EDITOR=gvim quickly edit
Adicione a linha de exportação à sua linha
~/.bashrc
se quiser persistir entre as sessões.