post_install() {
echo "To install the English translation, use these commands:"
echo "  curl -O https://www.cavestory.one/downloads/cavestoryen.zip"
echo "  unzip cavestoryen.zip"
echo "  cd CaveStory"
echo "  export CAVESTORY_DATA_DIR=$(pwd)/data"
echo "  pulseaudio -D --exit-idle-time=-1"
echo "  doukutsu-rs"
echo "Use your PulseAudio start command before launch to have sound."
echo "doukutsu-rs does not automatically launch PulseAudio on its own,"
echo "but will connect to it and play sound if it is running already."
}
