Сценарий: текущая версия Kate в Ubuntu 18LTS указывает на их настроенную версию (которая, похоже, не поддерживает поиск по регулярным выражениям). Ячейка: /usr/bin/kate .

Желаемое решение: запустите Kate AppImage (который имеет функцию поиска / замены регулярных выражений). AppImage в настоящее время находится в ~/Downloads .

Вопрос: как мне перенаправить систему для выполнения AppImage версии Kate вместо встроенной версии?

Могу ли я просто создать ссылку на AppImage в /usr/bin ?

Да, похоже, вы можете … т. Е. в моем случае я заменил существующую kate bin ссылкой, которая указывает на appimage:

 # 1st remove the existing kate binary
# (cp kate somewhere first if you want to keep a copy)
sudo rm /usr/bin/kate

# 2nd create a link in the system bin that points to the appimage
sudo link [directory where the appimage resides]/Kate.AppImage /usr/bin/kate
  

Готово! Теперь система будет запускать appimage при запуске ‘kate’ (например, через контекстные меню).

=========================

Обновить…

Вышеупомянутое решение вроде как работает… он запускает appimage, однако параметры, обычно передаваемые kate (т. Е. файл для открытия), теряются в жесткой ссылке.

Итак … лучшее решение — создать простой исполняемый сценарий оболочки (с именем ‘kate’ в каталоге / usr / bin) для выполнения appimage:

 #!/bin/sh
exec [directory where the appimage resides]/Kate.AppImage "$@"
  

Это передает все предоставленные параметры в appimage.

Возможно, вы захотите сохранить (по каким-либо причинам) установленный в вашей системе Kate в /usr/bin/kate …

Тогда не прикасайтесь к нему. Вместо этого создайте каталог с вашим $HOME именем bin (он может уже присутствовать в зависимости от используемого вами дистрибутива Linux).

Внутри этого каталога создайте символическую ссылку:

 ln -sf ~/Downloads/kate.AppImage ~/bin/kate
  

Возможно, это уже работает. Если нет, вам нужно переместить ~/bin каталог в начало вашего пути:

 export PATH=${HOME}/bin:${PATH}  # if you use Bash
  

Чтобы навсегда изменить это $PATH , добавьте эту же строку в ${HOME}/.bashrc