3
0
Fork 0
mirror of https://github.com/ZeppelinBot/Zeppelin.git synced 2025-05-27 11:15:02 +00:00

more fixes

Signed-off-by: GitHub <noreply@github.com>
This commit is contained in:
metal 2023-03-11 12:12:48 +00:00 committed by GitHub
parent 343a91e3c3
commit c33a216857
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
23 changed files with 81 additions and 58 deletions

View file

@ -1,7 +1,7 @@
import * as t from "io-ts";
import { BaseConfig, Knub } from "knub";
export interface ZeppelinGuildConfig extends BaseConfig<any> {
export interface ZeppelinGuildConfig extends BaseConfig {
success_emoji?: string;
error_emoji?: string;
@ -26,7 +26,7 @@ export const ZeppelinGuildConfigSchema = t.type({
});
export const PartialZeppelinGuildConfigSchema = t.partial(ZeppelinGuildConfigSchema.props);
export interface ZeppelinGlobalConfig extends BaseConfig<any> {
export interface ZeppelinGlobalConfig extends BaseConfig {
url: string;
owners?: string[];
}
@ -37,7 +37,7 @@ export const ZeppelinGlobalConfigSchema = t.type({
plugins: t.record(t.string, t.unknown),
});
export type TZeppelinKnub = Knub<ZeppelinGuildConfig, ZeppelinGlobalConfig>;
export type TZeppelinKnub = Knub;
/**
* Wrapper for the string type that indicates the text will be parsed as Markdown later