#!/bin/ksh #------------------------------------------------------------------------------# # Current revisions: # ----------------- # # Former revisions: # ----------------- # $Id: mrungui 794 2011-12-12 15:19:22Z fricke $ # # 793 2011-12-12 15:15:24Z maronga # Initial revision # # Description: # ------------ # Starting script for mrungui #------------------------------------------------------------------------------# if which mrungui.x >/dev/null; then mrungui.x else echo " +++ mrungui not found." fi