共通設定

各サービスのセクションで設定できる共通設定。

キー	内容	型	未定義時	備考
channel_config	チャンネル追加設定ファイル を指定する	文字列(ファイルパス)	None	メイン設定ファイル とマージ
badge_degree	ゲーム数に応じて表示される称号	真偽値	False	degreeセクション
badge_status	勝利によって表示される調子バッヂ	真偽値	False	statusセクション
badge_grade	段位表示	真偽値	False	gradeセクション
channel_id	チャンネル識別子 を上書きする	文字列	None	チャンネル個別設定のセクション名は変わらない [1]
separate	スコア入力元( チャンネル識別子 )単位の集計	真偽値	False	True: 集計条件に チャンネル識別子 を追加
plotting_backend	グラフ生成ライブラリ選択	文字列	matplotlib	matplotlib / plotly から選択

Danger

plotting_backend は実装状況によってはデフォルト値から変更するとアプリケーションエラーとなり、正しく動作しなくなる。

脚注

[1]

channel_id で使用するチャンネル識別子を変更している状態でもチャンネル個別設定のセクション名は <サービス名>_<チャンネルID> となる。

データベースファイル切替

channel_config でメイン設定の database_file が再定義できるため、別のDBファイルに情報を蓄積することが可能となる。

Warning

以下の機能はDB切替実装が完了していないため、メイン設定にある database_file が利用される。

• homeタブからの操作

• dbtools.py によるDBメンテナンス

channel_id / separate について

channel_id / separate は複数箇所で定義できる。

以下の順序で探索し、最初に未定義時の状態から変更されたものが設定値として採用される。

探索順序	設定ファイル	記述セクション	設定が有効になる範囲
1	チャンネル追加設定ファイル	チャンネル追加設定ファイル 内の settingセクション	指定チャンネルの範囲
2	メイン設定ファイル	チャンネル個別設定 slack チャンネル個別設定 discord チャンネル個別設定	指定チャンネルの範囲
3	メイン設定ファイル	共通設定	連携サービスの範囲
4	メイン設定ファイル	settingセクション	アプリケーション全体(すべてのサービス、すべてのチャンネル)