# File to be sourced. Contains pointers to a bunch of shell utilities.

CMD_PREFIX=kmk_
CMD_CAT=${CMD_PREFIX}cat
CMD_CP=${CMD_PREFIX}cp
CMD_EXPR=${CMD_PREFIX}expr
CMD_INSTALL=${CMD_PREFIX}install
CMD_LN=${CMD_PREFIX}ln
CMD_MV=${CMD_PREFIX}mv
CMD_RM=${CMD_PREFIX}rm
CMD_SED=${CMD_PREFIX}sed
CMD_SLEEP=${CMD_PREFIX}sleep
CMD_TIME=${CMD_PREFIX}time