blob: 7179d7ef7baf206f37d4d17c0604142753161148 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
import { PREF_DECLS } from "../source/preferences/decl.ts";
import { PrefDecl } from "../source/preferences/mod.ts";
console.log(`Option name|Type|Default|Description`);
console.log(`---|---|---|---`);
const P = PREF_DECLS as Record<string, PrefDecl<unknown>>
for (const key in P) {
const e = P[key];
if (key == "username") e.default = "guest-…" // maybe generalize
const q = (e: string) => `\`${e}\``
console.log([
q(key),
typeof e.type,
e.default === undefined ? "-" : q(JSON.stringify(e.default)),
(e.description ?? "*none*") + (
e.possible_values
? " (" + e.possible_values.map(e => JSON.stringify(e)).map(q).join(" / ") + ")"
: ""
)
].join("|"));
}
|