Como alterar o tamanho do cabeçalho dos widgets do kde5?

0

Aqui está um script bash a ser executado como root para alterar os cabeçalhos nos widgets fornecidos na variável "widgets"; basta adicionar ou alterar o caminho para os widgets; se a fonte for muito pequena, "level: 5" deve ser alterada para um número menor (5 é o menor):

#!/bin/bash


widgets='/usr/share/plasma/plasmoids/org.kde.plasma.systemmonitor.diskactivity/contents/ui/Applet.qml /usr/share/plasma/plasmoids/org.kde.plasma.systemmonitor.net/contents/ui/Applet.qml /usr/share/plasma/plasmoids/org.kde.plasma.systemmonitor.memory/contents/ui/Applet.qml /usr/share/plasma/plasmoids/org.kde.plasma.systemmonitor.cpu/contents/ui/Applet.qml'

for widget in $widgets; do
     sed -i.bak 's/level:.*/level: 5/g' $widget
done


exit

Se houver algo errado, basta renomear o arquivo .bak para o nome original.

Basta fazer o logout da sessão do kde e efetuar login novamente.

hf

    
por Dominik Steinberger 27.12.2017 / 21:55

0 respostas