user.py 文件源码

def ignore(self, user: discord.User):
        if self._bot.is_operator(user):
            raise dec.UserInputError('User {} is an operator and cannot be ignored'.format(user))

        await self._db.ignore(int(user.id))
        await self._bot.message('User {} has been added to the ignore list'.format(user))