O senhor / senhora user26687 acima teve a resposta correta em seu comentário acima, mas não posso marcar um comentário como A Resposta Verdadeira, então vou resumir o conteúdo de página referenciada no site kde.org .
Como bônus, essa página contém instruções para alterar o formato de data para AAAA-DD-MM, assim como Deus, ISO e Gary Houston pretendem. Não estava nem pedindo por isso, mas conseguiu mesmo assim. Niii-i-i-i-ice.
COMO:
-
Vá para o diretório
/usr/share/plasma/look-and-feel/org.kde.breeze.desktop/contents/components
Nele você encontrará um arquivo chamado InfoPane.qml
ou em 17,04 Clock.qml
. Edite-o como root.
-
Encontre esta linha:
text: Qt.formatTime(timeSource.data["Local"]["DateTime"])
e mude para
text: Qt.formatTime(timeSource.data["Local"]["DateTime"]**, "hh:mm:ss"**)
-
Para a mudança da data ISO, encontre esta linha:
text: Qt.formatDate(timeSource.data["Local"]["DateTime"], Qt.DefaultLocaleLongDate);
e mude para
text: Qt.formatDate(timeSource.data["Local"]["DateTime"]**, "yyyy-MM-dd"**);
-
Salve as alterações.
-
É isso! Você nem precisa sair / entrar, muito menos reiniciar qualquer coisa. Pressione Ctrl + Alt + L para bloquear sua tela e ver a mudança imediatamente.