themes-terminal/schemas/manpage_header.schema.json
Alex Dunmow 0a9b177f7c initial: theme plugin terminal
Bootstrapped during the 2026-06-06 BlockNinja consolidation. Was previously
an unversioned directory inside ~/src/blockninja-themes/terminal.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-06-06 14:11:44 +08:00

32 lines
781 B
JSON

{
"$schema": "http://json-schema.org/draft-07/schema#",
"title": "Man-page Header",
"description": "NAME(section) | center | version row",
"type": "object",
"properties": {
"name": {
"type": "string",
"title": "Name",
"description": "Page / command name (e.g. WRITEUP)",
"default": "WRITEUP",
"x-editor": "text"
},
"section": {
"type": "integer",
"title": "Section",
"description": "Man-page section number (1-9)",
"default": 1,
"minimum": 1,
"maximum": 9,
"x-editor": "number"
},
"version": {
"type": "string",
"title": "Version",
"description": "Version string (e.g. terminal v0.1.0)",
"default": "terminal v0.1.0",
"x-editor": "text"
}
}
}