post_install() { echo ">>> Note: the supplied gpsd udev rules are device-specific, so" echo ">>> if your device isn't detected correctly, please use lsusb or" echo ">>> another suitable tool to determine the proper device IDs and" echo ">>> use the commented rules to fill in the blanks for your device." update-desktop-database -q } post_upgrade() { update-desktop-database -q } post_remove() { update-desktop-database -q }