community/pgadmin3/pgadmin3.install


1
2
3
4
5
6
7
8
9
10
11

post_install() {
  [ -x usr/bin/update-desktop-database ] && update-desktop-database -q || true
}

post_upgrade() {
  [ -x usr/bin/update-desktop-database ] && update-desktop-database -q || true
}

post_remove() {
  [ -x usr/bin/update-desktop-database ] && update-desktop-database -q || true
}