PKGBUILDs/community/gnuradio/gnuradio-companion.install
2015-12-27 23:01:33 +00:00

16 lines
185 B
Text

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
}