Как быстро изменить редактор?

Обновление: теперь Gedit добавила эту функцию. Я поддерживаю свой ответ для тех, кто использует старые версии приложения.

Gedit не приходит с этой функцией.

Но есть плагин, который вы можете получить: http://live.gnome.org/Gedit/Plugins#line-505

12
задан 6 January 2012 в 20:24

2 ответа

Если вы не хотите менять редактор по умолчанию для вашей системы, вы можете просто использовать

export QUICKLY_EDITOR="yourpreferrededitorhere"

Я нашел это где-то в сети, поэтому кредиты достаются парню, который обнаружил это решение. [ 112]

Приветствие

0
ответ дан 6 January 2012 в 20:24

quickly должен поддерживать 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. 

У меня нет других установленных IDE GUI, но я протестировал его с помощью $ export EDITOR=nano && quickly edit, и все файлы были открыты в nano вместо gedit. Добавление export EDITOR=nano к вашему ~/.bashrc должно сделать это изменение постоянным.

0
ответ дан 6 January 2012 в 20:24

Другие вопросы по тегам:

Похожие вопросы: