Как изменить формат даты в заголовке страницы в Kate (текстовый редактор kde)

1

В Kate я могу указать заголовки, которые будут отображаться на каждой напечатанной странице:

Файл> Печать ...> Параметры> Верхний и нижний колонтитулы

В свойствах заголовка я нашел код формата %yв левом поле. Это дает дату в заголовке в формате 1/19/19. Я хотел бы использовать другой формат.

После некоторых проб и ошибок я нашел несколько форматов, связанных с датой и временем:

%y => 1/19/19
%Y => Saturday, January 19, 2019
%t => %t
%T => %T
%i => %i
%I => %I
%d => 1/19/19 4:59 PM
%D => Saturday, January 19, 2019 4:49:58 PM CET

(Я пытался tна время, iна ISO, dна день)

Я хотел бы использовать ISO-формат, желательно с момента: YYYY-MM-DD HH:mm.

К сожалению, нет кнопки «Справка», в которой перечислены форматы, и руководство Kate об этом молчит. Я пытался найти это в Интернете, но пока безуспешно ...

Я нахожусь на Ubuntu Xenial (16.04.5 LTS) с LXDE.

Мартен Коецье
источник
Кстати, вы все еще используете упомянутую здесь ОС или перешли на Kubuntu? Даже на Kubuntu 18.04 мало что можно сделать. изменение формата заголовка. Судя по всему, Кейт использует настройки локали: kubuntuforums.net/showthread.php/…
Д. К. Бозе
Да, я в настоящее время на Kubuntu 18.04.2. Кейт, используя языковые настройки, сама по себе неплоха, если бы я мог правильно их настроить. Теперь я установил формат времени на Sweden (en_SE). Я считаю, что это не решение или обходной путь, поскольку я не в Швеции. Я также нашел настройку Default (C), которая может указывать на то, что я могу установить какую-то локаль на основе стандартов ISO?
Мартен Коецер
Возможно, можно запустить kate с языком, отличным от языка по умолчанию. Помогает LANG=en_SE kate? Если это так, вы можете создать файл ярлыка / рабочего стола, чтобы всегда запускать kate таким образом.
ДК Бозе
Хорошее предложение, но не сработало. Возможно, потому что у меня не установлена ​​эта локаль. Кроме того, это не устанавливается: $ sudo locale-gen en_SEвозвращается Error: 'en_SE' is not a supported language or locale. Знаете ли вы о конкретной локали ISO (не привязанной к какой-либо стране / языку), которую я мог бы установить? NB: Я не хочу использовать 24-03-19, 19/03/24, 3/24/19и тому подобное в моей системе: ВСЕГДА 2019-03-24(ISO) является то , что я хочу.
Мартен Коецер
Ой! Я думал, что вы установили это. Кстати, Geany позволяет вам лучше настраивать и подчиняется форматам, описанным в man date. Итак, %F %H:%Mдаст вам то, что вы хотите.
ДК Бозе

Ответы:

1

(Я не могу комментировать, поэтому я добавлю ответ.) Kate - это программа KDE, и она зависит от Qt. Кто-то в Qt решил, что все в локали должны использовать форматы для этой локали. Вы должны использовать настройки для вашей локали, а также они компилируются в настройках для каждой локали, поэтому вы не можете изменить файл в / usr / share / i18n / locales, чтобы исправить положение, или добавить новую локаль.

JohnLittle
источник
1
Вот что - то с большим количеством фона: reddit.com/r/kde/comments/8096tl/...
DK Bose
Интересные чтения. Я думаю, что сейчас я ищу какую-то общую локаль (по-видимому, в Qt), которая использует форматы даты / времени ISO с английскими названиями дня и месяца. У кого-нибудь есть ссылка на исходный код Qt, где все локали жестко запрограммированы?
Мартен Коецер