Content - a2df5937bc12bf304c289abb4a3d00a0eebd32e5 - 19dfeea/sql/json/tool.tool_configuration.schema.json

swh:1:snp:eb70f1f85391e4b077c211bec36af0061c4bf937

Tip revision: 268d122f8028acc41c18edbf4bb291a9ac9c64f7 authored by Valentin Lorentz on 01 July 2019, 16:22:37 UTC
Fix rebase; reset_storage_tables was renamed to reset_storage.

Tip revision: 268d122

tool.tool_configuration.schema.json

{
    "$schema": "http://json-schema.org/schema#",
    "id": "http://softwareheritage.org/schemas/tool.tool_configuration.schema.json",

    "type": "object",
    "properties": {
        "command_line": {
            "type": "string"
        }
    }
}