How to write Android shell history to file?

Using Terminal Emulator for Android , is there a way to enable a persistent command history? So far, I've tried the following: * Initial command of export HISTFILE=$HOME/.mksh_history * User mksh profile */data/data/jackpal.androidterm/app_HOME/.mkshrc* containing export HISTFILE=$HOME/.mksh_history * System mksh profile */system/etc/mkshrc* containing export HISTFILE=/data/data/jackpal.androidterm/app_HOME/.mksh_history (though preferably the solution does not involve writing to */system*) I'm able to get other Android shells (ash and bash) to write histories into *app_HOME* without issue. I'm also able to get mksh to write *HISTFILE* on Linux without issue.