typst4ei 2.0.1

The Typst4EI building and serving tool/cli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "Config",
  "type": "object",
  "properties": {
    "allowed-licenses": {
      "type": "array",
      "items": {
        "$ref": "#/$defs/License"
      }
    },
    "auth": {
      "type": "object",
      "additionalProperties": {
        "type": "array",
        "items": {
          "$ref": "#/$defs/Source"
        }
      }
    },
    "site": {
      "$ref": "#/$defs/Site"
    }
  },
  "additionalProperties": false,
  "required": [
    "site",
    "auth",
    "allowed-licenses"
  ],
  "$defs": {
    "License": {
      "type": "object",
      "properties": {
        "name": {
          "type": "string"
        },
        "url": {
          "type": "string",
          "format": "uri"
        }
      },
      "additionalProperties": false,
      "required": [
        "name",
        "url"
      ]
    },
    "Provider": {
      "type": "string",
      "enum": [
        "Codeberg",
        "Gitea",
        "File"
      ]
    },
    "Site": {
      "type": "object",
      "properties": {
        "description": {
          "type": "string"
        },
        "name": {
          "type": "string"
        }
      },
      "additionalProperties": false,
      "required": [
        "name",
        "description"
      ]
    },
    "Source": {
      "type": "object",
      "properties": {
        "custom-display-url": {
          "type": [
            "string",
            "null"
          ],
          "format": "uri"
        },
        "custom-fetch-url": {
          "type": [
            "string",
            "null"
          ],
          "format": "uri"
        },
        "hide-urls": {
          "type": "boolean",
          "default": false
        },
        "owner": {
          "type": "string"
        },
        "provider": {
          "$ref": "#/$defs/Provider"
        },
        "repo": {
          "type": "string"
        }
      },
      "additionalProperties": false,
      "required": [
        "provider",
        "owner",
        "repo"
      ]
    }
  }
}