PKGBUILDs/community/gnuradio/gnuradio-companion.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
}
added community/gnuradio 2015-03-06 06:38:58 +00:00
			`post_upgrade() {`
community/gnuradio to 3.7.9-1 2015-12-27 23:01:33 +00:00
			`if [[ -e /usr/bin/update-desktop-database ]]; then`
			`update-desktop-database -q`
			`fi`
added community/gnuradio 2015-03-06 06:38:58 +00:00			`}`

			`post_install() {`
community/gnuradio to 3.7.9-1 2015-12-27 23:01:33 +00:00			`post_upgrade $1`
added community/gnuradio 2015-03-06 06:38:58 +00:00			`}`

			`pre_remove() {`
community/gnuradio to 3.7.9-1 2015-12-27 23:01:33 +00:00			`post_upgrade $1`
added community/gnuradio 2015-03-06 06:38:58 +00:00			`}`