Skip to content

Instantly share code, notes, and snippets.

@garrytrinder
Created March 23, 2024 19:16
Show Gist options
  • Select an option

  • Save garrytrinder/0ac37d835a7addf0208b146beeae8f9c to your computer and use it in GitHub Desktop.

Select an option

Save garrytrinder/0ac37d835a7addf0208b146beeae8f9c to your computer and use it in GitHub Desktop.

Revisions

  1. garrytrinder created this gist Mar 23, 2024.
    31 changes: 31 additions & 0 deletions profiles-schema.json
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,31 @@
    {
    "$schema": "http://json-schema.org/draft-07/schema#",
    "type": "array",
    "items": {
    "type": "object",
    "properties": {
    "position": {
    "type": "string"
    },
    "value": {
    "type": "string"
    },
    "modifiers": {
    "type": "array",
    "items": {
    "type": "object",
    "properties": {
    "key": {
    "type": "string"
    },
    "value": {
    "type": "integer"
    }
    },
    "required": ["key", "value"]
    }
    }
    },
    "required": ["position", "value", "modifiers"]
    }
    }