search

MozillaItalia / mozitahub_bot

Il bot di Mozilla Italia Hub.
Creative Commons Zero v1.0 Universal
5 stars 8 forks source link

Aggiungere nei commenti a quale username corrisponde l'userid PER GLI ADMIN #35

Closed Martinligabue closed 4 years ago

Martinligabue commented 4 years ago

mettere come commento i nomi degli id, per poterli gestire più semplicemente

Mte90 commented 4 years ago

@Martinligabue puoi dare un po di contesto? Così non capisco bene il problema nello specifico.

Martinligabue commented 4 years ago

Se in futuro dovesse esserci bisogno di aggiornare la lista degli admin del bot farebbe comodo avere oltre all'ID anche il nome dell'utente, per non dover controllare gli id singolarmente

Mte90 commented 4 years ago

I json non permettono commenti nel file quindi direi che non è fattibile. Si fa prima a fare nel bot un comando che mostra i nick invece degli id.

Martinligabue commented 4 years ago

ah, peccato, il comando credo sia di troppo, se si potevano mettere commenti sarebbe stato abbastanza semplice, ma non c'è bisogno, credo, di fare un comando apposta

Sav22999 commented 4 years ago

Credo che, comunque, Telegram non permetta di ottenere il nome utente solo avendo l'id.