save_global_history If set the global history will be saved to ~/.xxxterm/history when quitting and
restored at startup. See the KEY BINDINGS section above for how the global history is
accessed. Global history is not saved to disk by default.
from the manual, the history is a file, if you really want you can merge it manually
Of course it's undecidable, even with a compiler on the input, you can write a series of programs like:
main()
{
return 1;
}
and
main()
{
return 1+1-1;
}
and
main()
{
return 1+2-2;
}
and so on.
So there is an infinite sequence of programs, that compile into the same binary, and only one is the right source code.
Learn sed/awk/perl/ruby/python already and use it to your csvs. Nobody needs those programs, because the alternatives are free, easier and more comfortable.
from the manual, the history is a file, if you really want you can merge it manually