int cmd_history(char arg[])
{
int i;
for (i = 0; i < CMD_HISTORY_NUM_REAL; i++)
printf("%s\n", CMD_HISTORY[i]);
}
return TRUE;