#!/bin/sh
if [ -z "${XDG_MENU_PREFIX}" ] && [ "${DESKTOP_SESSION}" = "KDE-4" ]; then
export XDG_MENU_PREFIX="kde-4-"
fi