file_history_setup's read command now uses readline; run.sh resets the terminal at the end