Timer

!timer nutzt die Standard-Pomodoro-Zeiten: 25 Minuten lernen, 5 Minuten Pause. !timer <learning-time> <break-time> nutzt custom-Zeiten.

Für die Buttons habe ich dislash.py genutzt, ist das okay? oder sollen wir mit den buttons wirklich auf discord.py 2.0 warten? installieren musste ich zusätzlich zu dislash.py noch discord.py[voice] und ffmpeg damit Boty im Voice-Channel funktioniert.

Über die Buttons können sich User beim Timer an- und abmelden. Angemeldete User können den Timer neu starten, stoppen oder in die nächste Phase wechseln. Wenn mindestens ein angemeldeter User in einem VoiceChannel ist, spielt Boty in diesem Channel Sounds bei Start, Phasenwechsel und Ende. Ansonsten werden jeweils nur die angemeldeten User gepingt. Wenn kein User mehr angemeldet ist, wird der Timer automatisch beendet. Die Phasen werden farblich unterschieden: grün-lernen, gelb-Pause, rot-beendet.

Wenn dem Timer nicht explizit ein Name übergeben wird, wählt er einen aus einer kurzen Liste von Märchen-Namen.