PKGBUILDs/community/gnuradio/gnuradio.install

mirror of https://github.com/archlinuxarm/PKGBUILDs.git synced 2024-09-19 22:08:32 +00:00

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.8-1 2015-08-08 04:23:48 +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() {`
			`post_upgrade $1`
			`}`

			`pre_remove() {`
			`post_upgrade $1`
			`}`