python - 有没有办法在嵌入之前将用户 ID 转换为用户名？

Question

所以我有一个记事本，可以保存特定服务器上任何用户的用户ID。有没有办法在嵌入时使用用户 ID 显示用户名？

记事本看起来像这样:

<@xxxxxxxxxxx>=1.62
<@xxxxxxxxxxx>=1.31

我几乎尝试了所有方法。我需要帮助。

@bot.command(pass_context=True)
async def trial(ctx):
   embed = discord.Embed(title="Hello",color=0x00FFFF)
   f=open("KD.txt","r")
   x=1
   for line in f:
       y=''
       user,CMMR=line.split("=")
       y=(str(x)+". "+user)
       embed.add_field(name=y,value=CMMR,inline=False)
       x+=1
   await bot.say(embed=embed)
   f.close()

我希望显示用户名。我的结果是它只显示用户 ID。

Answer 1

您可以使用Server.get_member()方法做类似的事情

y=(str(x)+"."+ctx.message.server.get_member(user[2:-1]).display_name)