Raspberry Pi port, piCore-15.0 is available!
if [ -e /usr/share/applications/"$APPNAME".desktop ]; then