2 update-desktop-database -q
3 [[ "$(vercmp $1 0.4.3)" ]] && cat << EOF
5 >>> If you get in troubles loading menu plugin, try deleting old config file:
6 >>> rm ~/.config/adeskbar/default.cfg
8 >>> or better patch it (without loosing configuration) with:
9 >>> sed -i "s/menuframe/menu/" ~/.config/adeskbar/default.cfg