#! /bin/bash
echo "Updating program menus (xdg-menu) ..."
update-menus >/dev/null 2>&1
