PKGBUILDs/community/gnuradio/gnuradio.install

post_upgrade() {

  if [[ -e /usr/bin/update-desktop-database ]]; then
    update-desktop-database -q
  fi
}

post_install() {
  post_upgrade $1
}

pre_remove() {
  post_upgrade $1
}