PartiPirate / discord-bots

3 stars 5 forks source link

Manage new discord accounts #11

Open tduboys opened 1 year ago

tduboys commented 1 year ago

Version simple pour gérer les anciens et nouveaux comptes discord. #10

Il y a des nouveautés sur les nouveaux comptes (genre global display name) inclus dans le JDA beta 10, mais pas essentiel dans notre cas. La grosse différence est que le discriminant (les 4 chiffres) est déprécié, et est temporairement à 0000 pour tous les nouveaux comptes migrés, avant suppression totale.

Donc un compte ayant un discriminant à 0000 est forcément un compte migré, donc son nom (user.getName()) est alors unique. Je propose donc qu'on retire le discriminant des recherches lorsque celui-ci est à 0, cela évite la nécessité actuelle de devoir rajouter les #0000 sur les nouveaux comptes dans le portail.

On pourra faire du clean lorsque tous les comptes seront migrés.

J'ai aussi ajouté la possibilité de faire un renew avec un ID, qui est retourné quand on utilise l'autocomplétion via @pseudo

Il faut juste s'assurer que personae ne traitait pas le # dans l'url comme un caractère spécifique, et recherchait l'intégralité du nickname en string.