update "start" menus on ubuntu/linux systems

if [ -x /usr/bin/update-menus ]; then /usr/bin/update-menus || true ; fi 

if [ -x /usr/bin/update-desktop-database ]; then 
/usr/bin/update-desktop-database /usr/share/applications > /dev/null || 
true ; fi 

if [ -x /usr/bin/gtk-update-icon-cache ]; then 
/usr/bin/gtk-update-icon-cache --force --quiet /usr/share/icons/hicolor || true; fi 
if [ -x /usr/bin/update-mime-database ]; then /usr/bin/update-mime-database /usr/share/mime > /dev/null ;fi