排行榜问题

Question

我正在尝试在 discord.py 中制作排行榜一段时间。我做了一个改变排行榜的命令，所以我不必更换嵌入。由于看起来时间是否比排行榜上的其他时间快，因此它是一个整数，并且整数中不能有点、逗号或：。我正在尝试像这样在排行榜上获得时间：00:13:64。但是如果我想让代码工作，我需要在时间前面加上一个负号。任何人都可以帮助我解决这个问题，比如让代码在将其打印到嵌入中时删除负号？ 编辑：带有负号的时间看起来像这样：-00:13:64

Answer 1

str("-00:13:64")[1:]

你是什么意思？我不知道。该数据是否由 str 保存？如果是int，可以将int转为str，将“-”替换为“”。