Le bot EdT

EdT_#0639 est un bot Discord aujourd'hui décédé, qui permettait de connaître son emploi du temps sans passer par ADE. Il était très flexible dans le format accepté pour ses requêtes :

@edt-bot 13/11
@edt-bot 13/11/2019
@edt-bot IMA G7
@edt-bot 6/9 ima groupe 2

Le bot avait la particularité d'inférer certains arguments selon qui lui posait la question. Une simple mention suffisait à obtenir son propre emploi du temps pour le jour même ou le lendemain (selon si les cours étaient terminés ou non).

Agenda

L'historique Discord semble témoigner d'une tentative d'ajouter des responsabilités à EdT_#0639 pour le transformer en un agenda personnel. Cependant, il n'existe aucune trace de cette fonctionnalité sur l'historique git, et seulement un échange de quatre messages de test à ce sujet sur Discord.

Capture d'écran de l'affichage d'aide du bot en mode agenda

Configuration

Bien que la plèbe n'ait généralement pas eu à y toucher, EdT_#0639 était configurable directement depuis Discord. Comme il le dit lui-même mieux que moi :

Pour me configurer, il y a la commande /edt:
/edt nouveau GROUPE URL
/edt nouveau GROUPE @Groupe URL
/edt nouveau GROUPE @Nom URL
/edt nouveau GROUPE @Groupe @Nom URL
/edt ignorer GROUPE UE
/edt ajoute GROUPE NOM
/edt alias GROUPE ALIAS
/edt suppr GROUPE

Galerie