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("|"));
}
 
  |