1
0
Fork 0
mirror of https://github.com/uhIgnacio/EmoteManager.git synced 2024-08-15 02:23:13 +00:00
'Active' fork of EmoteManager bot; Discord bot that lets you manage server emotes
Find a file
io mintz c15a774a00 bot: require sharding arguments
the stats cog expects the sharding attrs anyway
2020-06-19 03:56:27 +00:00
cogs add webp to an error message 2020-06-11 23:59:13 +00:00
data add systemd notify support 2020-06-02 03:38:33 +00:00
utils add systemd notify support 2020-06-02 03:38:33 +00:00
.gitignore support multi-process sharding 2020-06-02 00:51:20 +00:00
bot.py bot: require sharding arguments 2020-06-19 03:56:27 +00:00
LICENSE.md relicense to AGPLv3 2020-05-01 03:14:25 +00:00
README.md update README 2020-06-01 05:56:35 +00:00
requirements.txt cogs/emotes: support customizing more aspects of the HTTP stuff 2019-09-19 20:45:47 +00:00

Emote Manager

Discord Bots

Emote Manager is a souped up version of the Emoji settings screen in your server's settings.

Note: both you and the bot will need the "Manage Emojis" permission to edit custom server emotes.

Commands

To add an emote:

If you invoke em/add with an image upload, the image will be used as the emote image, and the filename will be used as the emote name. To choose a different name, simply run it like
em/add your_emote_name_here instead.

To add several emotes from a zip or tar archive, run em/import with an attached file. You can also pass a URL to a zip or tar archive.

em/export [animated/static/all] creates a zip file of all emotes suitable for use with the import command.

em/list [animated/static/all] gives you a list of all emotes on this server.

em/remove emote will remove :emote:.

em/rename old_name new_name will rename :old_name: to :new_name:.

Automatic GIF conversion

If you try to upload a static emote to a server that has no more static slots, the bot will automatically convert the image to a GIF. When this happens, the bot will let you know.