Timer improvement

Der Timer hat eine Generalüberholung bekommen. Er ist ziemlich umfangreich aber gleichzeitig hoffe ich, dass sich die Timer-Funktionen (vorallem auch durch die eingebaute Hilfe/Manual-Funktion) halbwegs selbst erklären. Folgendes hat sich geändert:

Die Slashcommands

• /timer run startet einen Timer mit den folgenden Optionen:

• /timer stats gibt in einer ephemeral Nachricht die persönliche Statistik aus für die folgenden Zeiträume:

Der Timer Das Aussehen des Timer hat sich ein kleines Bisschen verändert:

Außerdem kann man jetzt zusätzlich die Anzahl der Lern-Phasen (Runden) angeben, nach denen der Timer automatisch gestoppt wird. Die aktuelle Runde und die Gesamtrundenzahl werden im Embed mit angezeigt.

Die Buttons und ihre Bedeutung

• beim Timer an-/abmelden
• Session neu starten (setzt die Session-Statistik zurück)
• Phase überspringen (erhält die Session-Statistik)
• Timer beenden
• / Voicy-Option ein- bzw. ausschalten
• Soundschema switchen (nur nutzbar bei eingeschalteter Voicy-Option)
• Statistik-Option ein- oder ausschalten
• Bedienungsanleitung aufrufen

Die Bedienungsanleitung ist eine ephemeral Nachricht in der man sich detaillierte Informationen zu den einzelnen Funktionen ausgeben lassen kann:

Neue Soundschmeta lassen sich ganz einfach hinzufügen durch einen neuen Ordner in cogs/sounds/<schema_name>/ mit dem Inhalt learning.mp3 und pause.mp3

die geheime stats-edit-Funktion Wenn jemand mit Mod-Rolle bei /timer stats für die Option period edit eingibt, lässt sich eine beliebiege bereits vorhandene Statistik ändern - was eventuell sinnvoll sein kann, wenn ein Timer mal vergessen wurde zu beenden. Hierfür öffnet sich nach Auswahl von Userin und Datum ein Modal in dem die neuen Werte eingetragen werden können

Das Weekly Leaderboard

• Für den MI-Server unnötig, aber in der Föderaion von einigen gewünscht
• Lässt sich mit der Umgebungsvariable DISCORD_TIMER_LEADERBOARD=<"yes|"no"> ein oder ausschalten
• Postet in DISCORD_TIMER_LEADERBOARD_CHANNEL einmal wöchentlich maximal zehn Userinnen, absteigend sortiert nach Gesamtlernzeit in der Woche
• Datum und Uhrzeit lässt sich zu Beginn der datei timer.py unter LEADERBOARD_DAYTIME = {'weekday': 0, 'hour': 6} einstellen *(in diesem Fall: Montag, ungefähr gegen 6 Uhr)

close #144

requested review from @dnns01

• Auch berücksichtigt habe ich #86 (closed) (verbleibende Zeit auf Basis der Endzeiten berechnen)
• #139 (closed) müsste nach diesem PR angepasst werden, sofern eine Migration in JDA noch aktuell ist

Quality Gate failed

Failed conditions
E Reliability Rating on New Code (required ≥ A)

See analysis details on SonarCloud

Catch issues before they fail your Quality Gate with our IDE extension SonarLint