post_install() {
  source /etc/profile.d/vlc-branch.sh
# if [ -x "/usr/bin/vlc" ]
#  then
#  	echo "vlc exists" >/dev/null
# else
#  	ln -s /opt/vlc-branch/bin/vlc-branch /usr/bin/vlc
#  	ln -s /opt/vlc-branch/bin/cvlc-branch /usr/bin/cvlc
#  	ln -s /opt/vlc-branch/bin/qvlc-branch /usr/bin/qvlc
#  	ln -s /opt/vlc-branch/bin/rvlc-branch /usr/bin/rvlc
#  	ln -s /opt/vlc/vlc-branch/svlc-branch /usr/bin/svlc
#  	ln -s /opt/vlc/vlc-branch/vlc-wrapper-branch /usr/bin/vlc-wrapper
#  	ln -s /opt/vlc-branch/bin/wxvlc-branch /usr/bin/wxvlc
# fi
  gtk-update-icon-cache -q -t -f usr/share/icons/hicolor
  update-desktop-database -q
}

post_upgrade() {
# post_install $1
  gtk-update-icon-cache -q -t -f usr/share/icons/hicolor
  update-desktop-database -q
}

post_remove() {
# post_install $1
  ##remember removing softlinks, if used:
# rm /usr/bin/vlc /usr/bin/cvlc /usr/bin/qvlc /usr/bin/rvlc /usr/bin/svlc /usr/bin/vlc-wrapper /usr/bin/wxvlc
  gtk-update-icon-cache -q -t -f usr/share/icons/hicolor
  update-desktop-database -q
}

op=$1
shift
$op $*