Непоследовательное поведение --profile в консоли - PullRequest
0 голосов
/ 06 июня 2019

У меня есть куча сценариев 'launcher.sh', которые запускают konsole с различными параметрами --profile. Суть в том, чтобы иметь горячие клавиши, которые позволяют мне посещать определенные сеансы konsole с цветовой кодировкой, которые запускают удаленные оболочки ssh на разных компьютерах (или с разными кодами пользователя).

В любом случае, все работает, кроме одной вещи. У меня настроено несколько профилей, которые отличаются только своими цветовыми схемами и форматом строки заголовка (который я затем ищу с помощью xdotool, чтобы повторно активировать сеанс после его запуска).

Все мои профили работают, когда я запускаю 'konsole --profile &' - кроме одного. После долгих проб и ошибок единственный способ заставить его работать - добавить расширение .profile к имени профиля. Т.е., 'konsole --profile rs2.profile &'. С какой стати это будет? На самом деле профиль rs2 работает без расширения .profile, за исключением того, что настройка цветовой схемы не выполняется (но настройка заголовка заголовка работает). Но если я назову это rs2.profile, я тоже получу цвета.

Кроме того, я не могу на всю жизнь найти, где konsole хранит свой список профилей для включения в меню «Настройки профиля переключателя». Сами профили находятся в ~ / .local / share / konsole. Но там нет ничего, кроме цветовых схем и профилей. Ничего, что перечисляет профили. На самом деле, когда я удалил один из файлов моего профиля, он все еще отображался как выбор в разделе «Профиль коммутатора». Да, kde отлично - но да, это сложный путь ...

...