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/"
}