Я изучал ярлыки командной строки bash и тому подобное, когда наткнулся на возможность редактировать командную строку в моем редакторе.(Потрясающие!).
$set -o vi
$echo test1 test2 test3 test4
Я дал ESC а затем нажал v и это дало мне эту ошибку. -bash: /usr/bin/pico: No such file or directory .Переменная EDITOR в моем .bashrc - это /usr/bin/vim которая существует и работает нормально. Но почему это ищет пико в первую очередь?
Это может быть использование редактора, названного в переменной VISUAL как будто set используется в качестве редактора до того, как EDITOR будет, я думаю, когда программа увидит, что DISPLAY установлен. Попробуйте сделать env | grep 'pico' который выяснит, какая переменная ссылается на pico .
Есть другие переменные, которые программы используют, чтобы определить, какой редактор использовать. VISUAL обычно настроен на графический редактор или удаленный для одного. В то время как EDITOR обычно настроен на консольный редактор. Если VISUAL не установлен, программы вместо этого используют EDITOR .