I do exactly what you want but with keeping each terminal’s history in a ~/.history dir - just standard bash stuff . .