Gravel
Gravel was originally made as a small plugin for server for small group of friends. Currently works with Paper 1.14.4.
Features
- Discord<->Minecraft chat bridge with ability to ping and tab-complete Discord users while disabling @here, @everyone
- Chat messages are converted Markdown<->Minecraft when possible
- Players bridged from Minecraft on Discord appear with their skin as avatar and nickname set by Essentials
- Shows player list on Discord as shows number of players online on bot's status
- Adds some recipes for convenience (such as recoloring carpets)
Plugin dependencies
- Essentials
Building
- Run ./gradlew build in terminal