PKGBUILDs/alarm/kodi-rpi/kodi.install

_message() {
  cat <<END

  >>> Remove any manual tweaks made to /boot/config.txt particulary a line such
      as gpu_mem=xxx.  Driver setup for Kodi is stored in /boot/kodi.config.txt

      Manually append the following to /boot/config.txt to make them active:
      [all]
      include kodi.config.txt

      A reboot will be required to activate them if this is a fresh install.

END
}

post_install() {
  _config=/boot/config.txt
  if [ -f "$_config" ]; then
    if ! grep -q 'include kodi.config.txt' "$_config"; then
    _message
    fi
  fi
}

post_upgrade() {
  post_install
  # version 19.0-7 moves kodi.service to user.slice so warn users about data loss
  if (($(vercmp 19.0-7 $2) > 0)); then
    cat <<END

    >>> kodi.service now runs in systemd's user.slice, see man kodi.service for
        important info on how to reboot or shutdown the system to avoid data loss!

END
  fi
}

post_remove() {
  echo "==> Optionally remove /var/lib/kodi/"
}