post_install() {
    echo "==>"
    echo "==> To enabled lightdm-mini-greeter, change the following config files:"
    echo "==>"
    echo "==>  /etc/lightdm/lightdm.conf"
    echo "==>    greeter-session = lightdm-mini-greeter"
    echo "==>    user-session = gnome     # Or anything from /usr/share/xsessions"
    echo "==>"
    echo "==>  /etc/lightdm/lightdm-mini-greeter.conf"
    echo "==>    user = <your_username>"
    echo "==>"
    echo "==> Then logout & restart lightdm:"
    echo "==>"
    echo "==>  sudo systemctl restart lightdm"
    echo "==>"
}

post_upgrade() {
    post_install
}