#!/bin/sh # Update user menus if system was updated USER_STAMP=$HOME/.menu-updates.stamp USER_MENU=$HOME/.menu SYSTEM_STAMP=/var/lib/menu/.menu-updates.stamp if [ -d $USER_MENU -a -f $USER_STAMP -a -f $SYSTEM_STAMP ] then if [ $SYSTEM_STAMP -nt $USER_STAMP ] then echo -n "Running update-menus..." >&2 XMESSAGE=`which xmessage` [ -n "$XMESSAGE" ] && $XMESSAGE -timeout 5 "Running update-menus..." & update-menus fi fi