community-staging/geda-gaf/geda-gaf.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

post_install() {
if [ -x /usr/bin/gtk-update-icon-cache ]; then
   echo Updating icon cache...
   /usr/bin/gtk-update-icon-cache -f -t /usr/share/icons/hicolor
fi
if [ -x /usr/bin/update-desktop-database ]; then
   echo Updating desktop database..
   /usr/bin/update-desktop-database /usr/share/applications
fi
update-mime-database usr/share/mime
}

post_upgrade() {
post_install
}

post_remove() {
post_install
}