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