#!/bin/bash
set +e

killall -KILL update-menus 2> /dev/null

update-menus 
