post_install () { echo "To use Lima with systemd, run \`systemctl --user daemon-reload\` first." echo "To start the Lima service, run \`systemctl --user start lima.service\`." echo "To start automatically on login, run \`systemctl --user enable lima.service\`." echo "For more information, run \`lima help\` and \`lima readme\`." } post_upgrade () { echo "If you use systemd to run Lima, run \`systemctl --user daemon-reload\`" echo "followed by \`systemctl --user restart lima.service\` now." } post_remove () { echo "If you intend to purge all Lima user data from your system, please remove the" echo "'~/.local/share/lima' directory. Note that you will lose local files that have" echo "not been uploaded to your Lima yet." }