スキル一覧に戻る
randalmurphal

plasma6-panel-config

by randalmurphal

My Claude orchestration configuration and tools

0🍴 0📅 2026年1月16日
GitHubで見るManusで実行

SKILL.md


name: plasma6-panel-config description: Configure KDE Plasma 6 panels, widgets, digital clock fonts, and Panel Colorizer styling. Use when modifying panel appearance, copying panel configs between monitors, fixing widget fonts, or troubleshooting Panel Colorizer not applying styles.

Plasma 6 Panel Configuration

Purpose: Modify Plasma panel/widget configs without trial-and-error pain. When to use: Panel styling, clock fonts, colorizer issues, multi-monitor panel sync.


Critical: Edit Workflow

Plasmashell overwrites config on exit. Always:

pkill plasmashell
# make edits to config file
nohup plasmashell &>/dev/null &

Config File

Location: ~/.config/plasma-org.kde.plasma.desktop-appletsrc

Format: INI-style with nested sections. File is ~66K tokens - use grep/offset reads.

Structure:

[Containments][PANEL_ID]
lastScreen=SCREEN_NUMBER
plugin=org.kde.panel

[Containments][PANEL_ID][Applets][WIDGET_ID]
plugin=org.kde.plasma.digitalclock

[Containments][PANEL_ID][Applets][WIDGET_ID][Configuration][Appearance]
# widget-specific settings here

Finding Things

FindGrep Pattern
All panelsplugin=org.kde.panel
Digital clocksplugin=org.kde.plasma.digitalclock
Panel Colorizerplugin=luisbocanegra.panel.colorizer
Screen mappinglastScreen=
Appearance sections\[Configuration\]\[Appearance\]

Digital Clock Font Settings

Under [Containments][PANEL][Applets][CLOCK][Configuration][Appearance]:

SettingRequired ValueNotes
autoFontAndSizefalseCRITICAL - must be false or font settings ignored
fontFamilye.g. Hack Nerd FontFont name exactly as system knows it
fontSizee.g. 9Integer
boldTexttrue or false
fontStyleNamee.g. Bold
fontWeighte.g. 700400=normal, 700=bold

BAD: Adding font settings without autoFontAndSize=false

fontFamily=Hack Nerd Font
fontSize=9

Result: Settings silently ignored, uses system default.

GOOD: Include the disable flag

autoFontAndSize=false
fontFamily=Hack Nerd Font
fontSize=9
fontStyleName=Bold
fontWeight=700
boldText=true

Panel Colorizer

Preset Location

~/.local/share/plasma/plasmoids/luisbocanegra.panel.colorizer/contents/ui/presets/

Config Location

Under [Containments][PANEL][Applets][COLORIZER][Configuration][General]:

globalSettings={"panel":{"normal":{"enabled":true,...huge JSON...}}}
lastPreset=/path/to/preset

The JSON Blob

globalSettings is a single-line JSON blob (thousands of chars). Key paths:

JSON PathPurposeRequired for Styling
panel.normal.enabledMaster enableMust be true
panel.normal.backgroundColor.enabledEnable bg colorYes for custom bg
panel.normal.backgroundColor.customHex colore.g. #000000
panel.normal.backgroundColor.sourceTypeColor source0 = use custom
widgets.normal.foregroundColor.enabledEnable text colorYes for custom text
widgets.normal.foregroundColor.customHex colore.g. #FFFFFF

BAD: Panel colorizer not styling

"panel":{"normal":{"enabled":false,...

Result: All styling silently disabled.

GOOD: Enable the panel styling

"panel":{"normal":{"enabled":true,...

Copying Colorizer Between Panels

  1. Find source panel's colorizer widget ID
  2. Copy entire globalSettings= line to target
  3. Copy lastPreset= line if using presets

Randy's Current Panel Mapping

Panel IDScreenMonitorClock WidgetColorizer Widget
2092HP309323
2730LG276321
2911ASUS326345

Note: Widget IDs are arbitrary. Always grep for plugin names to find current IDs.


Common Gotchas

IssueCauseFix
Edits not persistingPlasmashell overwrote on restartKill plasmashell BEFORE editing
Font settings ignoredMissing autoFontAndSize=falseAdd the flag
Colorizer does nothingpanel.normal.enabled: false in JSONSet to true
Wrong panel modifiedScreen numbers changedVerify lastScreen values
Can't find widgetGrepping wrong plugin nameUse exact plugin string

Quick Copy-Paste Templates

Clock with Hack Nerd Font

[Containments][PANEL_ID][Applets][CLOCK_ID][Configuration][Appearance]
autoFontAndSize=false
boldText=true
customDateFormat=ddd, MMM d |
dateDisplayFormat=BesideTime
dateFormat=custom
fontFamily=Hack Nerd Font
fontSize=9
fontStyleName=Bold
fontWeight=700
showLocalTimezone=true
showSeconds=2
use24hFormat=2

スコア

総合スコア

50/100

リポジトリの品質指標に基づく評価

SKILL.md

SKILL.mdファイルが含まれている

+20
LICENSE

ライセンスが設定されている

0/10
説明文

100文字以上の説明がある

0/10
人気

GitHub Stars 100以上

0/15
最近の活動

3ヶ月以内に更新がある

0/10
フォーク

10回以上フォークされている

0/5
Issue管理

オープンIssueが50未満

+5
言語

プログラミング言語が設定されている

+5
タグ

1つ以上のタグが設定されている

0/5

レビュー

💬

レビュー機能は近日公開予定です