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)
